Login / Signup
Lydia Jaß
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Satisfiability Modulo Theories
Formal Verification
Model Checker
Top Venues
IESS
</>
Publications
</>
Lydia Jaß
,
Paula Herber
Bit-Precise Formal Verification for SystemC Using Satisfiability Modulo Theories Solving.
IESS
(2015)