Gérard Basler, Alastair F. Donaldson, Alexander Kaiser, Daniel Kröning, Michael Tautschnig, Thomas Wahl
satabs: A Bit-Precise Verifier for C Programs — (Competition Contribution)
TACAS, 2012.
@inproceedings{TACAS-2012-BaslerDKKTW,
author = "Gérard Basler and Alastair F. Donaldson and Alexander Kaiser and Daniel Kröning and Michael Tautschnig and Thomas Wahl",
booktitle = "{Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems}",
doi = "10.1007/978-3-642-28756-5_47",
isbn = "978-3-642-28755-8",
pages = "552--555",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{satabs: A Bit-Precise Verifier for C Programs — (Competition Contribution)}",
volume = 7214,
year = 2012,
}
Tags: