Login / Signup

Simple Is Better: Efficient Bounded Model Checking for Past LTL.

Timo LatvalaArmin BiereKeijo HeljankoTommi A. Junttila
Published in: VMCAI (2005)
Keyphrases
  • bounded model checking
  • model checking
  • formal verification
  • linear temporal logic
  • temporal logic
  • data sets
  • real world
  • multi agent systems
  • computationally expensive
  • general purpose
  • cost effective
  • straight forward