Welcome to E-Books Directory
This is a freely downloadable e-book.

Games in Verification

Games in Verification
by Moshe Y. Vardi

Publisher: ESSLLI 2001
Number of pages: 100

Games have shown to provide a useful paradigm for reasoning about reactive systems. Not only can model-checking algorithms be formulated as games, but the interaction of reactive systems with their environments can also be modeled as a game. The aim of this course is to demonstrate the power of the game-theoretic approach, by showing how it gives rise to a unifying algorithmic framework through the use of tree automata as an underlying technical tool.

Home page url

Download or read it online here:

Download link

 (920KB, PDF)