Interpolation and SAT-Based Model Checking
Top Cited Papers
- 1 January 2003
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- BerkMin: A fast and robust SAT-solverPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Property Checking via Structural AnalysisLecture Notes in Computer Science, 2002
- Finding Bugs in an Alpha Microprocessor Using Satisfiability SolversLecture Notes in Computer Science, 2001
- Benefits of Bounded Model Checking at an Industrial SettingLecture Notes in Computer Science, 2001
- Model Checking of Safety PropertiesFormal Methods in System Design, 2001
- SAT-Based Image Computation with Application in Reachability AnalysisLecture Notes in Computer Science, 2000
- Symbolic Reachability Analysis Based on SAT-SolversLecture Notes in Computer Science, 2000
- Symbolic Model Checking without BDDsLecture Notes in Computer Science, 1999
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- Linear reasoning. A new form of the Herbrand-Gentzen theoremThe Journal of Symbolic Logic, 1957