What’s in Common between Test, Model Checking, and Decision Procedures?
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5825)
- 292 Downloads
The interaction of proof search and counterexample search is at the heart of recent methods in decision procedures model checking. In this talk, we’ll consider the relation between these methods and test.
KeywordsModel Check Decision Procedure Satisfying Assignment Abstract Domain Symbolic Model Check
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
© Springer-Verlag Berlin Heidelberg 2009