CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties

DOI10.1007/978-3-642-18070-5_8zbMath1308.68042OpenAlexW2116612980MaRDI QIDQ3067539

Dilian Gurov, Marieke Huisman

Publication date: 21 January 2011

Published in: Formal Verification of Object-Oriented Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-18070-5_8

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 (4)

From Safety Critical Java Programs to Timed Process Models ⋮ Reducing behavioural to structural properties of programs with procedures ⋮ CVPP ⋮ ProMoVer: Modular Verification of Temporal Safety Properties

Uses Software

• Spec#
• MAVEN

Cites Work

• Reducing behavioural to structural properties of programs with procedures
• Graphical versus logical specifications
• Results on the propositional \(\mu\)-calculus
• Compositional verification of sequential programs with procedures
• 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
• Fundamental Approaches to Software Engineering
• MAVEN: Modular Aspect Verification
• Modular specification and verification of object-oriented programs

This page was built for publication: CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties