Certified Verification of Relational Properties

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto und Pascale Le Gall
In:17th International Conference on integrated Formal Methods (iFM 2022)
Verleger:Springer
Reihe:Lecture Notes in Computer Science
Band:13274
Jahr:2022
Seiten:86-105
URL:https://doi.org/10.1007/978-3-031-07727-2_6
DOI:10.1007/978-3-031-07727-2_6

BibTeX

@inproceedings{blatterKPG22,
  author    = {Lionel Blatter and
               Nikolai Kosmatov and
               Virgile Prevosto and
               Pascale Le Gall},
  editor    = {Maurice H. ter Beek and
               Rosemary Monahan},
  title     = {Certified Verification of Relational Properties},
  booktitle = {17th International Conference on integrated Formal Methods ({iFM} 2022)},
  eventdate = {2022-06-07/2022-06-10},
  venue     = {Lugano, Switzerland},
  series    = {Lecture Notes in Computer Science},
  volume    = {13274},
  pages     = {86--105},
  publisher = {Springer},
  year      = {2022},
  month     = jun,
  url       = {https://doi.org/10.1007/978-3-031-07727-2\_6},
  doi       = {10.1007/978-3-031-07727-2\_6}
}