Login / Signup
Automatic property generation for the formal verification of bus bridges.
Mathias Soeken
Ulrich Kühne
Martin Freibothe
Görschwin Fey
Rolf Drechsler
Published in:
DDECS (2011)
Keyphrases
</>
formal verification
model checking
model checker
symbolic model checking
automated verification
bounded model checking
high speed
fully automatic
real time
data sets
genetic algorithm
orders of magnitude
semi automatic
dynamical systems