scientific article; zbMATH DE number 1956571

MaRDI QIDQ4417912zbMATH OpenFDO

Authors Nina Amla, K. L. McMillan, Ricardo Medel, R. P. Kurshan

Publication date 30 July 2003

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Accelerating bounded model checking of safety properties
• scientific article; zbMATH DE number 1670796
• Correct Hardware Design and Verification Methods
• Bounded model checking using satisfiability solving
• Bounded model checking for the existential fragment of \(\mathrm{TCTL}_{-G}\) and diagonal timed automata

Cited in

(8)

• Bounded model checking of infinite state systems
• A work-efficient distributed algorithm for reachability analysis
• Under-approximation heuristics for grid-based bounded model checking
• Termination criteria for bounded model checking: extensions and comparison
• Implication-Based Approximating Bounded Model Checking
• scientific article; zbMATH DE number 5353387 (Why is no real title available?)
• Benchmarking a model checker for algorithmic improvements and tuning for performance
• A bounded model checking technique for higher-order programs

Describes a project that uses

Uses Software

• Chaff
• BerkMin
• SATO
• Velev SAT Benchmarks

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