Login / Signup

Incremental and Complete Bounded Model Checking for Full PLTL.

Keijo HeljankoTommi A. JunttilaTimo Latvala
Published in: CAV (2005)
Keyphrases
  • bounded model checking
  • model checking
  • formal verification
  • data driven
  • temporal logic
  • incremental learning
  • linear temporal logic
  • information systems
  • multi agent systems