Login / Signup

Hierarchical formal verification using a hybrid tool.

Skander KortSofiène TaharPaul Curzon
Published in: Int. J. Softw. Tools Technol. Transf. (2003)
Keyphrases
  • formal verification
  • model checking
  • automated verification
  • model checker
  • bounded model checking
  • program slicing
  • symbolic model checking
  • data sets
  • expert systems
  • dynamic programming
  • hybrid learning