Login / Signup
Converging Formal Verification in a High-Level Synthesis Environment.
Michael Dossis
Published in:
SEEDA-CECNSM (2021)
Keyphrases
</>
formal verification
high level synthesis
model checking
model checker
symbolic model checking
automated verification
information systems
state space
dynamic environments
bounded model checking
program slicing
graph cuts
computer aided