Login / Signup
Towards Automatic Property Generation for the Formal Verification of Bus Bridges.
Mathias Soeken
Ulrich Kühne
Martin Freibothe
Görschwin Fey
Rolf Drechsler
Published in:
MBMV (2011)
Keyphrases
</>
formal verification
model checking
model checker
automated verification
high speed
symbolic model checking
bounded model checking
generation process
program slicing
functional verification
orders of magnitude
neural network