Papers

Alastair F. Donaldson, Leopold Haller, Daniel Kroening, Philipp Ruemmer. Software Verification Using k-Induction. In Proceedings of the 18th International Static Analysis Symposium (SAS'11), Lecture Notes in Computer Science 6887, pages 351-368. Springer, 2011.

Bibtex:

@inproceedings{DonaldsonHKR_SAS2011,
   title      = {Software Verification Using k-Induction},
   author     = {Alastair F. Donaldson and Leopold Haller and
                 Daniel Kroening and Philipp Ruemmer},
   booktitle  = {Proceedings of the 18th International Static
                 Analysis Symposium (SAS'11)},
   series     = {Lecture Notes in Computer Science},
   volume     = {6887},
   pages      = {351-368},
   publisher  = {Springer},
   year       = {2011}
}