Login / Signup
Formal Verification of CPU in Laboratory Work.
Kozo Okano
Yuko Kitahama
Akira Kitajima
Teruo Higashino
Kenichi Taniguchi
Published in:
MSE (2001)
Keyphrases
</>
formal verification
model checking
model checker
symbolic model checking
automated verification
bounded model checking
program slicing
real time
expert systems
temporal logic
software systems
dynamical systems