Verifying relational properties using trace logic
Paper i proceeding, 2019
Semantics
Tools
Programming
Cognition
Security
Standards
Interference
Författare
Gilles Barthes
Max-Planck-Gesellschaft
IMDEA Software Institute
Renate Eilers
Technische Universität Wien
Pamina Georgiou
Technische Universität Wien
B. Gleiss
Technische Universität Wien
Laura Kovacs
Technische Universität Wien
Chalmers, Data- och informationsteknik, Formella metoder
Matteo Maffei
Technische Universität Wien
Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019
170-178 8894277
978-098356789-9 (ISBN)
San Jose, USA,
Ämneskategorier (SSIF 2011)
Filosofi
Datavetenskap (datalogi)
Datorsystem
DOI
10.23919/FMCAD.2019.8894277