Using the Bandera tool set to model-check properties of concurrent Java software

DOI10.1007/3-540-44685-0_5MaRDI QIDQ4791830zbMATH OpenFDO

Authors John Hatcliff, Matthew B. Dwyer

Publication date 3 February 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2154/21540039.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1860613
• Foundations of the Bandera abstraction tools
• Translating Java for multiple model checkers: The Bandera back-end
• A language framework for expressing checkable properties of dynamic software
• Computer Aided Verification

Cited in

(12)

• Syntax-directed model checking of sequential programs
• Integrating a formal method into a software engineering process with UML and Java
• A compositional behavioral modeling framework for embedded system design and conformance checking
• Slicing techniques for verification re-use
• A general framework for types in graph rewriting
• A language framework for expressing checkable properties of dynamic software
• Aspect Categories and Classes of Temporal Properties
• Foundations of the Bandera abstraction tools
• scientific article; zbMATH DE number 1860613 (Why is no real title available?)
• A translator of Java programs to TADDs
• MAVEN: Modular aspect verification and interference analysis
• Translating Java for multiple model checkers: The Bandera back-end

Describes a project that uses

Uses Software

• Java PathFinder
• Bandera
• veriSoft
• SPIN
• NuSMV
• dSPIN

This page was built for publication: Using the Bandera tool set to model-check properties of concurrent Java software

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