Login / Signup

Modeling and proving functional completeness in formal verification of counting heads.

Sebastian KinderRolf Drechsler
Published in: Int. J. Softw. Tools Technol. Transf. (2008)
Keyphrases
  • formal verification
  • model checking
  • automated verification
  • functional verification
  • modeling method
  • bounded model checking
  • neural network
  • artificial intelligence