Login / Signup
Methodology and System for Practical Formal Verification of Reactive Hardware.
Ilan Beer
Shoham Ben-David
Daniel Geist
Raanan Gewirtzman
Michael Yoeli
Published in:
CAV (1994)
Keyphrases
</>
formal verification
model checking
model checker
low cost
bounded model checking
automated verification
real time
hardware and software
symbolic model checking
personal computer
program slicing
reverse engineering
hardware implementation
reactive planning
design methodology
decision problems
multi agent systems