scientific article; zbMATH DE number 2086590

zbMATH Open1057.68623MaRDI QIDQ4737124FDOQ4737124

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (10)

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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

Uses Software

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