satabs: A Bit-Precise Verifier for C Programs.

Authors :: Basler, Gérard
Donaldson, Alastair
Kaiser, Alexander
Kroening, Daniel
Tautschnig, Michael
Wahl, Thomas
Source :: Tools & Algorithms for the Construction & Analysis of Systems (9783642287558); 2012, p552-555, 4p
Publication Year :: 2012

Language :: English
ISBNs :: 9783642287558
Database :: Complementary Index
Journal :: Tools & Algorithms for the Construction & Analysis of Systems (9783642287558)
Publication Type :: Book
Accession number :: 94111796
Full Text :: https://doi.org/10.1007/978-3-642-28756-5_47