Login / Signup

Bounded Model Checking for Past LTL.

Marco BenedettiAlessandro Cimatti
Published in: TACAS (2003)
Keyphrases
  • bounded model checking
  • model checking
  • formal verification
  • linear temporal logic
  • temporal logic
  • computation tree logic
  • cooperative
  • multi agent systems
  • search algorithm