Login / Signup
SPLIT: A Compositional LTL Verifier.
Ariel Cohen
Kedar S. Namjoshi
Yaniv 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