Computer aided verification. 25th international conference, CAV 2013, Saint Petersburg, Russia, July 13--19, 2013. Proceedings

DOI10.1007/978-3-642-39799-8MaRDI QIDQ353052zbMATH OpenOpenAlexFDO

Authors

Publication date 12 July 2013

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-39799-8

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)

Cited in

(6)

• Model checking probabilistic systems
• Transformations for compositional verification of assumption-commitment properties
• Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
• On recursion-free Horn clauses and Craig interpolation
• Minimal sets on propositional formulae. Problems and reductions
• Constraint solving for finite model finding in SMT solvers

This page was built for publication: Computer aided verification. 25th international conference, CAV 2013, Saint Petersburg, Russia, July 13--19, 2013. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q353052)