A language framework for expressing checkable properties of dynamic software

DOI10.1007/10722468_13MaRDI QIDQ2753762zbMATH OpenFDO

Authors Matthew B. Dwyer, John Hatcliff, Robby, James C. Corbett

Publication date 6 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10722468_13

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1860613
• scientific article; zbMATH DE number 1863159
• Software model checking
• scientific article; zbMATH DE number 1953278
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(8)

• Syntax-directed model checking of sequential programs
• scientific article; zbMATH DE number 1953278 (Why is no real title available?)
• scientific article; zbMATH DE number 1860613 (Why is no real title available?)
• scientific article; zbMATH DE number 1863159 (Why is no real title available?)
• Tools and Algorithms for the Construction and Analysis of Systems
• Patterns for timed property specifications
• Translating Java for multiple model checkers: The Bandera back-end
• Compositional verification of sequential programs with procedures

Describes a project that uses

Uses Software

• dSPIN
• NuSMV
• JML
• Java PathFinder
• Bandera
• SPIN

This page was built for publication: A language framework for expressing checkable properties of dynamic software

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2753762)