Institut für Theoretische Informatik (ITI) – Anwendungsorientierte Formale Verifikation

Self-composition to Prove Relational Properties in Annotated C Program

Zeitschriftenartikel

Autor(en):Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall und Virgile Prevosto
Zeitschrift:CoRR
Band:abs/1801.06876
Jahr:2018
URL:https://arxiv.org/abs/1801.06876

BibTeX

@article{blatterKGP18,
  author    = {Lionel Blatter and
               Nikolai Kosmatov and
               Pascale Le Gall and
               Virgile Prevosto},
  title     = {Self-composition to Prove Relational Properties
               in Annotated {C} Program},
  journal   = {CoRR},
  volume    = {abs/1801.06876},
  year      = {2018},
  month     = jan,
  url       = {https://arxiv.org/abs/1801.06876},
  archivePrefix = {arXiv},
  eprint    = {1801.06876}
}