An Abstract Model of a Coordination Protocol Using the UPPAAL Model Checker.

Colm Bhandal Mélanie Bouroche Arthur Hughes

Published in: EUC (2011)

Keyphrases

model checker
model checking
formal verification
formal specification
high level
temporal logic
description language
formal methods
test suite
image processing
heuristic search
software architecture