Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Deductive Verification of Legacy Code

Reviewed Paper In Proceedings
Author(s):Bernhard Beckert, Thorsten Bormer, and Daniel Grahl
In:7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016)
Publisher:Springer
Series:LNCS 9952
Volume:I: Foundational Techniques
Year:2016
Pages:749-765
URL:http://dx.doi.org/10.1007/978-3-319-47166-2_53
DOI:10.1007/978-3-319-47166-2_53

BibTeX

@inproceedings{BeckertBormerGrahl2016,
  author       = {Bernhard Beckert and Thorsten Bormer and Daniel Grahl},
  title        = {Deductive Verification of Legacy Code},
  booktitle    = {7th International Symposium on Leveraging
                  Applications of Formal Methods, Verification and Validation
                  (ISoLA 2016)},
  volume       = {I: Foundational Techniques},
  editor       = {Tiziana Margaria and Bernhard Steffen},
  publisher    = {Springer},
  series       = {LNCS 9952},
  pages        = {749--765},
  year         = {2016},
  month        = oct,
  url          = {http://dx.doi.org/10.1007/978-3-319-47166-2_53},
  doi          = {10.1007/978-3-319-47166-2_53}
}