We review, compare and discuss several approaches for representing programs by logic formulas, such as symbolic model checking, bounded model checking, verification-condition generation, and symbolic-execution-based test generation. © 2012 Springer-Verlag.
CITATION STYLE
Godefroid, P., & Lahiri, S. K. (2012). From program to logic: An introduction. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7682 LNCS, pp. 31–44). https://doi.org/10.1007/978-3-642-35746-6_2
Mendeley helps you to discover research relevant for your work.