Login / Signup
Nils Sirrenberg
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Lightweight
Hardware Designs
Data Flow
Conceptual Framework
Top Venues
TACAS (3)
</>
Publications
</>
Zsófia Ádám
,
Dirk Beyer
,
Po-Chun Chien
,
Nian-Ze Lee
,
Nils Sirrenberg
Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers.
TACAS (3)
(2024)