Login / Signup

Formal Verification of CPU in Laboratory Work.

Kozo OkanoYuko KitahamaAkira KitajimaTeruo HigashinoKenichi 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