Papers

Bibtex:

@inproceedings{BaslerDKKTW_TACAS2012,
   title      = {SatAbs: A Bit-Precise Verifier for C Programs
                 - (Competition Contribution)},
   author     = {Gerard Basler and Alastair F. Donaldson and Alexander
                 Kaiser and Daniel Kroening and Michael Tautschnig
                 and Thomas Wahl},
   booktitle  = {Proceedings of the 18th International Conference
                 on Tools and Algorithms for the Construction
                 and Analysis of Systems (TACAS'12)},
   series     = {Lecture Notes in Computer Science},
   volume     = {7214},
   pages      = {552-555},
   publisher  = {Springer},
   year       = {2012}
}