Bounded Model Checking Using Satisfiability Solving

• 1 January 2001
• journal article
• Published by Springer Nature in Formal Methods in System Design
• Vol. 19  (1) , 7-34
• https://doi.org/10.1023/a:1011276507260

Abstract

Keywords

• BEHAVIOR
• BOUNDED MODEL CHECKING
• SOLVING
• SATISFIABILITY
• STATE SPACE