scientific article; zbMATH DE number 1982200

MaRDI QIDQ4426375zbMATH OpenFDO

Authors K. Rustan M. Leino

Publication date 16 September 2003

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Analysis of Boolean Programs
• Scalable error detection using Boolean satisfiability
• scientific article; zbMATH DE number 1670555
• A View from the Engine Room: Computational Support for Symbolic Model Checking
• Repair of Boolean Programs with an Application to C

Cited in

(7)

• Verification of Boolean programs with unbounded thread creation
• Range and set abstraction using SAT
• Rewriting Models of Boolean Programs
• scientific article; zbMATH DE number 5547835 (Why is no real title available?)
• Scalable error detection using Boolean satisfiability
• Characterizing Propagation Methods for Boolean Satisfiability
• Repair of Boolean Programs with an Application to C

Describes a project that uses

Uses Software

• Bebop
• Chaff

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 Q4426375)