Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
G. Barthe, R. Eilers, P. Georgiou, B. Gleiss, L. Kovacs, M. Maffei:
"Verifying Relational Properties using Trace Logic";
Vortrag: International Conference on Formal Methods in Computer Aided Design (FMCAD) 2019,
San Jose, US;
22.10.2019
- 25.10.2019; in: "Proceedings of Formal Methods in Computer Aided Design (FMCAD)",
B. Clark, J. Yang (Hrg.);
IEEE,
https://ieeexplore.ieee.org/xpl/conhome/8891869/proceeding
(2019),
ISBN: 978-0-9835678-9-9;
S. 170
- 178.
Schlagworte:
automated reasoning, first-order theorem proving, information security, formal methods
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.23919/FMCAD.2019.8894277
Elektronische Version der Publikation:
https://ieeexplore.ieee.org/document/8894277
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.