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

Debugging Program Verification Proof Scripts (Tool Paper)

Zeitschriftenartikel
Autor(en):Bernhard Beckert, Sarah Grebing und Alexander Weigl
Zeitschrift:CoRR
Band:abs/1804.04402
Jahr:2018
URL:https://arxiv.org/abs/1804.04402

BibTeX

@article{journals_corr_abs-1804-04402,
  author        = {Bernhard Beckert and
                   Sarah Grebing and
                   Alexander Weigl},
  title         = {Debugging Program Verification Proof Scripts
                   (Tool Paper)},
  journal       = {CoRR},
  volume        = {abs/1804.04402},
  year          = {2018},
  month         = apr,
  url           = {https://arxiv.org/abs/1804.04402},
  archivePrefix = {arXiv},
  eprint        = {1804.04402}
}