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

Debugging Program Verification Proof Scripts (Tool Paper)

Journal Article
Author(s):Bernhard Beckert, Sarah Grebing, and Alexander Weigl
Journal:CoRR
Volume:abs/1804.04402
Year: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}
}