Notice
This item was automatically migrated from a legacy system. It's data has not been checked and might not meet the quality criteria of the present system.
Record link: 
http://hdl.handle.net/20.500.12708/58112
-
Title: 
Verifying Relational Properties using Trace Logic
-
Citation: 
Barthe, G., Eilers, R., Georgiou, P., Gleiss, B., Kovacs, L., & Maffei, M. (2019). Verifying Relational Properties using Trace Logic. In B. Clark & J. Yang (Eds.), 2019 Formal Methods in Computer Aided Design (FMCAD). IEEE. https://doi.org/10.23919/fmcad.2019.8894277
-
Publisher DOI: 
10.23919/fmcad.2019.8894277
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Authors: 
Barthe, Gilles 
Eilers, Renate 
Georgiou, Pamina 
Gleiss, Bernhard 
Kovacs, Laura 
Maffei, Matteo 
-
Organisational Unit: 
E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
E192-06 - Forschungsbereich Security and Privacy 
-
Published in: 
2019 Formal Methods in Computer Aided Design (FMCAD) 
-
Date (published): 
2019
-
Event name: 
International Conference on Formal Methods in Computer Aided Design (FMCAD) 2019 
-
Event date: 
22-Oct-2019 - 25-Oct-2019
-
Event place: 
San Jose, United States of America (the)
-
Number of Pages: 
9
-
Publisher: 
IEEE, https://ieeexplore.ieee.org/xpl/conhome/8891869/proceeding
-
Peer reviewed: 
Yes
-
Keywords: 
formal methods; information security; first-order theorem proving; automated reasoning
-
Research Areas: 
Logic and Computation: 100%
-
Science Branch: 
Informatik
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

276
checked on Nov 23, 2023

Download(s)

4
checked on Nov 23, 2023

Google ScholarTM

Check