Partial Order Reduction for State/Event LTL.

Nikola Benes Lubos Brim Ivana Cerná Jiri Sochor Pavlína Vareková Barbora Zimmerova

Published in: IFM (2009)

Keyphrases

model checking
partial order reduction
event detection
temporal logic
formal verification
neural network
machine learning
bounded model checking
linear time temporal logic
real time
case study
state space
transition systems