@inproceedings{TACAS-2005-KellerSBS,
author = "Curtis W. Keller and Diptikalyan Saha and Samik Basu and Scott A. Smolka",
booktitle = "{Proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems}",
doi = "10.1007/978-3-540-31980-1_39",
isbn = "3-540-25333-5",
pages = "563--569",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs}",
volume = 3440,
year = 2005,
}
Tags: