Static and Dynamic Verification of Relational Properties on Self-composed C Code

Reviewed Paper In Proceedings

Author(s):Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto, and Guillaume Petiot
In:12th International Conference on Tests and Proofs (TAP 2018) held as part of STAF 2018: Software Technologies - Applications and Foundations
Publisher:Springer
Series:Lecture Notes in Computer Science
Volume:10889
Year:2018
Pages:44-62
DOI:10.1007/978-3-319-92994-1_3

BibTeX

@inproceedings{blatterKGPP18,
  author    = {Lionel Blatter and
               Nikolai Kosmatov and
               Pascale Le Gall and
               Virgile Prevosto and
               Guillaume Petiot},
  editor    = {Catherine Dubois and
               Burkhart Wolff},
  title     = {Static and Dynamic Verification of Relational Properties
               on Self-composed {C} Code},
  booktitle = {12th International Conference on Tests and Proofs ({TAP} 2018) held
               as part of {STAF} 2018: Software Technologies - Applications and
               Foundations},
  venue     = {Toulouse, France},
  eventdate = {2018-06-27/2018-06-29},
  series    = {Lecture Notes in Computer Science},
  volume    = {10889},
  pages     = {44--62},
  publisher = {Springer},
  year      = {2018},
  month     = jun,
  doi       = {10.1007/978-3-319-92994-1\_3}
}