Dirk Beyer, Stefan Löwe
Explicit-State Software Model Checking Based on CEGAR and Interpolation
FASE, 2013.
@inproceedings{FASE-2013-BeyerL, author = "Dirk Beyer and Stefan Löwe", booktitle = "{Proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering}", doi = "10.1007/978-3-642-37057-1_11", isbn = "978-3-642-37056-4", pages = "146--162", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Explicit-State Software Model Checking Based on CEGAR and Interpolation}", volume = 7793, year = 2013, }