Precise Thread-Modular Verification

DOI10.1007/978-3-540-74061-2_14zbMath1211.68095OpenAlexW1569234295MaRDI QIDQ3612004

Andrey Rybalchenko, Andreas Podelski, Alexander Malkis

Publication date: 3 March 2009

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74061-2_14

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Local proofs for global safety properties

This page was built for publication: Precise Thread-Modular Verification