Tools and algorithms for the construction and analysis of systems. 20th international conference, TACAS 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5--13, 2014. Proceedings

DOI10.1007/978-3-642-54862-8zbMath1301.68010OpenAlexW2295513474MaRDI QIDQ2441804

No author found.

Publication date: 28 March 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-54862-8

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of computing (68Qxx)

Related Items

Characterizing positively invariant sets: inductive and topological methods ⋮ On temporal logics with data variable quantifications: decidability and complexity ⋮ Horn clauses as an intermediate representation for program analysis and transformation ⋮ Satisfiability of general intruder constraints with and without a set constructor ⋮ Translating Xd-C programs to MSVL programs