Login / Signup

SPLIT: A Compositional LTL Verifier.

Ariel CohenKedar S. NamjoshiYaniv Sa'ar
Published in: CAV (2010)
Keyphrases
  • temporal logic
  • model checking
  • linear temporal logic
  • bounded model checking
  • deterministic automata
  • data sets
  • image processing
  • multi agent
  • probabilistic model
  • sufficient conditions