Talks and Poster Presentations (with Proceedings-Entry):
G. Barthe, R. Eilers, P. Georgiou, B. Gleiss, L. Kovacs, M. Maffei:
"Verifying Relational Properties using Trace Logic";
Talk: International Conference on Formal Methods in Computer Aided Design (FMCAD) 2019,
San Jose, US;
2019-10-22
- 2019-10-25; in: "Proceedings of Formal Methods in Computer Aided Design (FMCAD)",
B. Clark, J. Yang (ed.);
IEEE,
https://ieeexplore.ieee.org/xpl/conhome/8891869/proceeding
(2019),
ISBN: 978-0-9835678-9-9;
170
- 178.
Keywords:
automated reasoning, first-order theorem proving, information security, formal methods
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.23919/FMCAD.2019.8894277
Electronic version of the publication:
https://ieeexplore.ieee.org/document/8894277
Created from the Publication Database of the Vienna University of Technology.