game based algorithm / model checking algorithm / polynomial time algorithm / concurrent systems / breadth-first-search / transition systems / verification tool / /
Organization
University of Edinburgh / /
Person
Gq / Here / Rabin / Emerson / Checking Games / Clarke / Colin Stirling / /
Position
iff player / Model / first case player / path player / play player / focus player / corresponding player / player / second case player / otherwise player / /
Product
syntax / /
Technology
game based algorithm / polynomial time algorithm / model checking algorithm / /
Model Checking Games for Branching Time Logics Martin Lange and