Bounded Model Checking Using Satisfiability Solving
Authors:
- Edmund ClarkeECEdmund Clarke
- Armin BiereABArmin Biere
Top Cited Papers
- 1 July 2001
- journal article
- Published by Springer Nature in Formal Methods in System Design
- Vol. 19 (1) , 7-34
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Verifying Safety Properties of a PowerPC− Microprocessor Using Symbolic Model Checking without BDDs1999
- Design constraints in symbolic model checking1998
- Combinational test generation using satisfiabilityIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1996
- Building decision procedures for modal logics from propositional decision procedures — The case study of modal K1996
- Symbolic Model Checking1993
- Symbolic model checking: 1020 States and beyondInformation and Computation, 1992
- Test pattern generation using Boolean satisfiabilityIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1992
- MODELING AND VERIFYING SYSTEMS AND SOFTWARE IN PROPOSITIONAL LOGIC1990
- A Structure-preserving Clause Form TranslationJournal of Symbolic Computation, 1986
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986