Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs
Herber Paula, Liebrenz Timm
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Book title: ACM/IEEE International Conference on Formal Methods and Models for System Design, (MEMOCODE 2020)
Page range: 1-6
Publisher: Wiley-IEEE Press
Status: Published
Release year: 2020
Language in which the publication is written: English
Conference: ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2020), Jaipur, India / virtuell
Link to the full text: https://doi.org/10.1109/MEMOCODE51338.2020.9314998
Authors from the University of Münster
| Herber, Paula | |
| Liebrenz, Timm |