ZEUS: A Distributed Timed Model-Checker Based on KRONOS.

Víctor A. Braberman Alfredo Olivero Fernando Schapachnik

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

model checker
model checking
formal verification
formal methods
distributed systems
petri net
description language
test suite
temporal logic
symbolic model checking
formal specification
evolutionary algorithm
dynamic programming
knowledge representation
ai planning