An improvement of the piggyback algorithm for parallel model checking.

Ioannis Filippidis Gerard J. Holzmann

Published in: SPIN (2014)

Keyphrases

model checking
verification method
dynamic programming
computational complexity
artificial intelligence
np hard
temporal logic
reinforcement learning
optimal solution
formal verification
timed automata
deterministic finite automaton