Verifying Relational Properties using Trace Logic

Barthe, Gilles; Eilers, Renate; Georgiou, Pamina; Gleiss, Bernhard; Kovács, Laura; Maffei, Matteo

doi:10.23919/FMCAD.2019.8894277

by Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, Matteo Maffei

Reference:

Verifying Relational Properties using Trace LogicGilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, Matteo Maffei2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019 (Clark W. Barrett, Jin Yang, eds.), pages 170–178, 2019, IEEE.

Bibtex Entry:

@inproceedings{DBLP:conf/fmcad/BartheEGGKM19,
  author    = {Gilles Barthe and
               Renate Eilers and
               Pamina Georgiou and
               Bernhard Gleiss and
               Laura Kov{\'{a}}cs and
               Matteo Maffei},
  editor    = {Clark W. Barrett and
               Jin Yang},
  title     = {Verifying Relational Properties using Trace Logic},
  booktitle = {2019 Formal Methods in Computer Aided Design, {FMCAD} 2019, San Jose,
               CA, USA, October 22-25, 2019},
  pages     = {170--178},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {http://arxiv.org/abs/1906.09899},
  doi       = {10.23919/FMCAD.2019.8894277},
  timestamp = {Thu, 14 Nov 2019 12:17:38 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/BartheEGGKM19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}