A Metric Encoding for Bounded Model Checking
- 1 January 2009
- book chapter
- Published by Springer Nature
- p. 741-756
Abstract
No abstract availableKeywords
All Related Versions
This publication has 11 references indexed in Scilit:
- Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking2008
- Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time2008
- The symmetry of the past and of the future2007
- Multithreaded SAT Solving2007
- Linear Encodings of Bounded LTL Model CheckingLogical Methods in Computer Science, 2006
- An Extensible SAT-solver2004
- Chaff2001
- Symbolic Model Checking without BDDs1999
- TRIO: A logic language for executable specifications of real-time systemsJournal of Systems and Software, 1990
- A fast mutual exclusion algorithmACM Transactions on Computer Systems, 1987