ProMoVer: Modular Verification of Temporal Safety Properties
From MaRDI portal
Publication:3095249
DOI10.1007/978-3-642-24690-6_25zbMath1350.68188OpenAlexW2124026064MaRDI QIDQ3095249
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
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (5)
Reducing behavioural to structural properties of programs with procedures ⋮ CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties ⋮ Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints ⋮ ProMoVer ⋮ ProMoVer: Modular Verification of Temporal Safety Properties
Uses Software
Cites Work
- Results on the propositional \(\mu\)-calculus
- Compositional verification of sequential programs with procedures
- Sawja: Static Analysis Workshop for Java
- CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties
- ProMoVer: Modular Verification of Temporal Safety Properties
- Reducing Behavioural to Structural Properties of Programs with Procedures
- First-Order and Temporal Logics for Nested Words
- 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
This page was built for publication: ProMoVer: Modular Verification of Temporal Safety Properties
