Verification: Theory and Practice
From MaRDI portal
Publication:5305649
DOI10.1007/b12001zbMath1274.68190OpenAlexW2483649756MaRDI QIDQ5305649
Rupak Majumdar, Ranjit Jhala, Marco A. A. Sanvido, Thomas A. Henzinger
Publication date: 23 March 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b12001
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (6)
Integrating Topological Proofs with Model Checking to Instrument Iterative Design ⋮ Reusing predicate precision in value analysis ⋮ On the preservation of properties when changing communication models ⋮ Loop invariants ⋮ On-the-Fly Techniques for Game-Based Software Model Checking ⋮ TOrPEDO : witnessing model correctness with topological proofs
Uses Software
This page was built for publication: Verification: Theory and Practice
