Model Checking Parameterised Multi-token Systems via the Composition Method.

Benjamin Aminof Sasha Rubin

Published in: IJCAR (2016)

Keyphrases

model checking
verification method
dynamic programming
computational complexity
temporal logic
np hard
distributed systems