Login / Signup

Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection.

Grigory FedyukovichNatasha Sharygina
Published in: SBMF (2014)
Keyphrases
  • false positives
  • bounded model checking
  • detection rate
  • false alarms
  • model checking
  • formal verification
  • temporal logic
  • semi automatic
  • web services
  • general purpose
  • fully automatic
  • event detection