Incremental bounded software model checking
Open Access
- 21 July 2014
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 40-47
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Green2012
- Memoized symbolic execution2012
- Development and Evaluation of LAV: An SMT-Based Error Finding Platform2012
- LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR2012
- Bounded model checking of software using SMT solvers instead of SAT solversInternational Journal on Software Tools for Technology Transfer, 2008
- Efficient SAT-based bounded model checking for software verificationTheoretical Computer Science, 2008
- Incremental and Complete Bounded Model Checking for Full PLTLLecture Notes in Computer Science, 2005
- An Extensible SAT-solver2004
- Efficiently computing static single assignment form and the control dependence graphACM Transactions on Programming Languages and Systems, 1991
- A technique for counting ones in a binary computerCommunications of the ACM, 1960