Login / Signup

Challenging problems in industrial formal verification.

Ziyad Hanna
Published in: FMCAD (2014)
Keyphrases
  • formal verification
  • problems involving
  • search algorithm
  • knowledge acquisition
  • real world
  • object oriented
  • test set
  • model checking
  • industrial applications
  • solving problems