Distributed Symbolic Model Checking for µ-Calculus.

Orna Grumberg Tamir Heyman Assaf Schuster

Published in: CAV (2001)

Keyphrases

symbolic model checking
distributed systems
model checking
partial observability
multi agent
symbolic representation
model checker
artificial intelligence
search algorithm
formal verification