Foundations of the Bandera abstraction tools

DOI10.1007/3-540-36377-7_9MaRDI QIDQ4414730zbMATH OpenFDO

Authors John Hatcliff, Matthew B. Dwyer, Robby, Corina S. Păsăreanu

Publication date 27 July 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/2566/25660172.htm, http://hdl.handle.net/2060/20030022709

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1860613
• Using the Bandera tool set to model-check properties of concurrent Java software
• Software model checking
• Translating Java for multiple model checkers: The Bandera back-end
• A language framework for expressing checkable properties of dynamic software

Cited in

(7)

• A semantic framework for the abstract model checking of tccp programs
• A language framework for expressing checkable properties of dynamic software
• scientific article; zbMATH DE number 1860613 (Why is no real title available?)
• Using the Bandera tool set to model-check properties of concurrent Java software
• Abstracting C with abC
• Translating Java for multiple model checkers: The Bandera back-end
• An abstract interpretation toolkit for CRL

Describes a project that uses

Uses Software

• SPIN
• Java PathFinder
• Bandera
• PVS
• Bebop

This page was built for publication: Foundations of the Bandera abstraction tools

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