Verification, Model Checking, and Abstract Interpretation

DOI10.1007/b105073zbMath1111.68493OpenAlexW2611288859MaRDI QIDQ5711504

Bernd Becker, Felix Klaedtke, Erika Ábrahám, Martin Steffen

Publication date: 6 December 2005

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

Full work available at URL: https://doi.org/10.1007/b105073

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (5)

SMT-based scenario verification for hybrid systems ⋮ SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata ⋮ Quantifier-free encoding of invariants for hybrid systems ⋮ Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems ⋮ Engineering constraint solvers for automatic analysis of probabilistic hybrid automata

Uses Software

• SPIN

This page was built for publication: Verification, Model Checking, and Abstract Interpretation