Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Veröffentlichungen

Specifying and Verifying Real-World Java Code with KeY - Case Study java.math.BigInteger

Bachelorarbeit
Autor(en):Wolfram Pfeifer
Hochschule:Karlsruhe Institute of Technology
Jahr:2017
Links:PDF

BibTeX

@mastersThesis{PfeiferBSc2017,
  author   = {Wolfram Pfeifer},
  school   = {Karlsruhe Institute of Technology},
  title    = {Specifying and Verifying Real-World Java Code with {KeY} - Case Study {java.math.BigInteger}},
  year     = {2017},
  month    = may,
  type     = {bathesis},
  language = {english},
  location = {Karlsruhe, Germany},
  links    = {PDF:/pfeifer/pub/thesis_pfeifer_bigint.pdf}
}