scientific article; zbMATH DE number 2086590

MaRDI QIDQ4737124zbMATH OpenFDO

Authors Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella

Publication date 11 August 2004

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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• BDD-based symbolic model checking
• A View from the Engine Room: Computational Support for Symbolic Model Checking
• scientific article; zbMATH DE number 1629965
• scientific article; zbMATH DE number 2087634
• scientific article; zbMATH DE number 1903357

Cited in

(10)

• scientific article; zbMATH DE number 1903365 (Why is no real title available?)
• Conformant planning via symbolic model checking and heuristic search
• BDD-based symbolic model checking
• Weak, strong, and strong cyclic planning via symbolic model checking
• Hybrid BDD and All-SAT Method for Model Checking
• scientific article; zbMATH DE number 1629965 (Why is no real title available?)
• Towards deriving test sequences by model checking
• A View from the Engine Room: Computational Support for Symbolic Model Checking
• Generating BDDs for symbolic model checking in CCS
• NuSMV: A new symbolic model checker

Describes a project that uses

Uses Software

• Chaff
• CUDD
• NuSMV
• 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 Q4737124)