Automatic Synthesis of Assumptions for Compositional Model Checking
From MaRDI portal
Publication:3613064
DOI10.1007/11888116_12zbMath1225.68115OpenAlexW1593205213MaRDI QIDQ3613064
Matthias Brill, Bernd Finkbeiner, Sven Schewe
Publication date: 11 March 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11888116_12
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
On the dynamics of a pendulum mounted on a movable platform, A study of permanent rotations of a heavy dynamically symmetric rigid body with a vibrating suspension point
Uses Software
Cites Work
- The Rely-Guarantee method for verifying shared variable concurrent programs
- Compositional minimisation of finite state systems using interface specifications
- Synthesis of interface specifications for Java classes
- Computer Aided Verification
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item