ProMoVer: modular verification of temporal safety properties
DOI10.1007/978-3-642-24690-6_25zbMATH Open1350.68188OpenAlexW2124026064MaRDI QIDQ3095249FDOQ3095249
Dilian Gurov, Siavash Soleimanifard, Marieke Huisman
Publication date: 28 October 2011
Published in: Software Engineering and Formal Methods (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-24690-6_25
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Cites Work
- CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties
- Sawja: Static Analysis Workshop for Java
- ProMoVer: Modular Verification of Temporal Safety Properties
- Results on the propositional \(\mu\)-calculus
- Reducing Behavioural to Structural Properties of Programs with Procedures
- Temporal reasoning for procedural programs
- Tools and Algorithms for the Construction and Analysis of Systems
- MAVEN: Modular Aspect Verification
- Modular specification and verification of object-oriented programs
- Compositional verification of sequential programs with procedures
- First-Order and Temporal Logics for Nested Words
Cited In (7)
- Compositional verification of sequential programs with procedures
- CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties
- ProMoVer: Modular Verification of Temporal Safety Properties
- Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
- ProMoVer
- Title not available (Why is that?)
- Reducing behavioural to structural properties of programs with procedures
Uses Software
This page was built for publication: ProMoVer: modular verification of temporal safety properties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3095249)
