Computer aided verification. 19th international conference, CAV 2007, Berlin, Germany, July 3--7, 2007. Proceedings.
From MaRDI portal
Publication:2382030
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
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.
