Papers

Jade Alglave, Alastair F. Donaldson, Daniel Kroening, Michael Tautschnig. Making Software Verification Tools Really Work. In Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11), Lecture Notes in Computer Science 6996, pages 28-42. Springer, 2011. Invited paper.

Bibtex:

@inproceedings{AlglaveDKT_ATVA2011,
   title      = {Making Software Verification Tools Really Work},
   author     = {Jade Alglave and Alastair F. Donaldson and Daniel
                 Kroening and Michael Tautschnig},
   booktitle  = {Proceedings of the 9th International Symposium
                 on Automated Technology for Verification and
                 Analysis (ATVA'11)},
   series     = {Lecture Notes in Computer Science},
   volume     = {6996},
   pages      = {28-42},
   publisher  = {Springer},
   year       = {2011},
   note       = {Invited paper}
}