Login / Signup
Deductive Formal Verification of Synthesizable, Transaction-Level Hardware Designs Using Coq.
Tobias Strauch
Published in:
DATE (2024)
Keyphrases
</>
formal verification
hardware designs
model checking
model checker
formal methods
automated verification
object oriented
bounded model checking
real time
knowledge base
database
artificial intelligence
web services
source code
concurrency control