RPP: Automatic Proof of Relational Properties by Self-composition

@inproceedings{blatterKGP17,
  author    = {Lionel Blatter and
               Nikolai Kosmatov and
               Pascale Le Gall and
               Virgile Prevosto},
  editor    = {Axel Legay and
               Tiziana Margaria},
  title     = {{RPP:} Automatic Proof of Relational Properties by
               Self-composition},
  booktitle = {23rd International Conference on Tools and Algorithms for
               the Construction and Analysis of Systems ({TACAS} 2017)
               held as part of {ETAPS} 2017: European Joint Conferences on
               Theory and Practice of Software},
  part      = {I},
  venue     = {Uppsala, Sweden},
  series    = {Lecture Notes in Computer Science},
  volume    = {10205},
  pages     = {391--397},
  month     = apr,
  eventdate = {2017-04-22/2017-04-29},
  year      = {2017},
  doi       = {10.1007/978-3-662-54577-5\_22}
}