Login / Signup

Formal verification coverage: computing the coverage gap between temporal specifications.

Sayantan DasPrasenjit BasuAnsuman BanerjeePallab DasguptaP. P. ChakrabartiChunduri Rama MohanLimor FixRoy Armoni
Published in: ICCAD (2004)
Keyphrases
  • formal verification
  • model checker
  • model checking
  • bounded model checking
  • automated verification
  • spatio temporal
  • test suite
  • artificial intelligence