Login / Signup

Proving Completeness of Properties in Formal Verification of Counting Heads for Railways.

Sebastian KinderRolf Drechsler
Published in: DSD (2007)
Keyphrases
  • formal verification
  • model checking
  • model checker
  • automated verification
  • desirable properties
  • expert systems
  • structural properties
  • artificial intelligence
  • symbolic model checking
  • bounded model checking