Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

Self-composition to Prove Relational Properties in Annotated C Program

Journal Article

Author(s):Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, and Virgile Prevosto
Journal:CoRR
Volume:abs/1801.06876
Year: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}
}