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

Deductive Verification with Relational Properties

Zeitschriftenartikel

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

BibTeX

@article{blatterKGP16,
  author    = {Lionel Blatter and
               Nikolai Kosmatov and
               Pascale Le Gall and
               Virgile Prevosto},
  title     = {Deductive Verification with Relational Properties},
  journal   = {CoRR},
  volume    = {abs/1606.00678},
  year      = {2016},
  month     = jun,
  url       = {https://arxiv.org/abs/1606.00678},
  archivePrefix = {arXiv},
  eprint    = {1606.00678}
}