Computer aided verification. 19th international conference, CAV 2007, Berlin, Germany, July 3--7, 2007. Proceedings.

DOI10.1007/978-3-540-73368-3zbMath1119.68005OpenAlexW2499219338MaRDI QIDQ2382030

No author found.

Publication date: 28 September 2007

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

Full work available at URL: https://doi.org/10.1007/978-3-540-73368-3

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (10)

Formal verification of mobile robot protocols ⋮ Compositional Reasoning ⋮ Wave equation numerical resolution: a comprehensive mechanized proof of a C program ⋮ A survey of timed automata for the development of real-time systems ⋮ Verification conditions for source-level imperative programs ⋮ Optimal and robust controller synthesis using energy timed automata with uncertainty ⋮ Formal analysis of the compact position reporting algorithm ⋮ Diagnostic Information for Realizability ⋮ Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate ⋮ Solving bitvectors with MCSAT: explanations from bits and pieces

This page was built for publication: Computer aided verification. 19th international conference, CAV 2007, Berlin, Germany, July 3--7, 2007. Proceedings.