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. © 2009 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
McMillan, K. L. (2009). What’s in Common between test, model checking, and decision procedures? In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5825 LNCS, pp. 35–36). https://doi.org/10.1007/978-3-642-04570-7_4
Mendeley helps you to discover research relevant for your work.