Computer aided verification. 25th international conference, CAV 2013, Saint Petersburg, Russia, July 13--19, 2013. Proceedings
DOI10.1007/978-3-642-39799-8zbMATH Open1268.68032OpenAlexW2496764087MaRDI QIDQ353052FDOQ353052
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
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)
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
- Model checking probabilistic systems
- Minimal sets on propositional formulae. Problems and reductions
- On recursion-free Horn clauses and Craig interpolation
- Transformations for compositional verification of assumption-commitment properties
- 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)
