Title: Effective System Level Liveness Verification
Authors: Fedotov, Alexander 
Keiren, Jeroen J.A. 
Schmaltz, Julien 
Editors: Ivrii, Alexander 
Strichman, Ofer 
Issue Date: 2020
Book Title: Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 
Series: Conference Series: Formal Methods in Computer-Aided Design 
Keywords: computer-aided system design
URI: http://hdl.handle.net/20.500.12708/15503
http://dx.doi.org/10.34727/2020/isbn.978-3-85448-042-6_7
DOI: 10.34727/2020/isbn.978-3-85448-042-6_7
License: CC BY 4.0 CC BY 4.0
Publication Type: Inproceedings
Appears in Collections:Conference Paper
Open Access Series

Files in this item:

Adobe PDF
(495.65 kB)
Published version
Open Access

Page view(s)

133
checked on Aug 2, 2021

Download(s)

80
checked on Aug 2, 2021

Google ScholarTM

Check


This item is licensed under a Creative Commons License Creative Commons