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

Certified Verification of Relational Properties

Reviewed Paper In Proceedings
Author(s):Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, and Pascale Le Gall
In:17th International Conference on integrated Formal Methods (iFM 2022)
Publisher:Springer
Series:Lecture Notes in Computer Science
Volume:13274
Year:2022
Pages: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}
}