Verification, Model Checking, and Abstract Interpretation

DOI10.1007/b94790zbMath1202.68248OpenAlexW3146639584MaRDI QIDQ5901911

Lenore D. Zuck, Yi Fang, Nir Piterman, Amir Pnueli

Publication date: 15 May 2009

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

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

Mathematics Subject Classification ID

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

Related Items (4)

Model checking and abstraction to the aid of parameterized systems (a survey) ⋮ Compositional verification of smart contracts through communication abstraction ⋮ Liveness by Invisible Invariants ⋮ On Verifying Fault Tolerance of Distributed Protocols

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