scientific article; zbMATH DE number 1953278

MaRDI QIDQ4414730zbMATH OpenFDO

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

Publication date 27 July 2003

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

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
• scientific article; zbMATH DE number 1863159
• Software model checking
• Translating Java for multiple model checkers: The Bandera back-end
• scientific article; zbMATH DE number 1670561

Cited in

(7)

• scientific article; zbMATH DE number 1860613 (Why is no real title available?)
• scientific article; zbMATH DE number 1903376 (Why is no real title available?)
• A semantic framework for the abstract model checking of tccp programs
• scientific article; zbMATH DE number 1863159 (Why is no real title available?)
• An abstract interpretation toolkit for CRL
• scientific article; zbMATH DE number 1670561 (Why is no real title available?)
• Translating Java for multiple model checkers: The Bandera back-end

Describes a project that uses

Uses Software

• Bebop
• Bandera
• Java PathFinder
• PVS
• SPIN

This page was built for publication:

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