Games for Design and Verification (GAMES)

Summary

As computing systems become larger, more complex, and increasingly distributed and interactive, there is a pressing need for formal methods that guarantee their reliability, correctness, and efficiency. This network proposes a research and training programme for the design and verification of computing systems, using a methodological framework that is based on the interplay of finite and infinite games, mathematical logic and automata theory.

Keywords

Games, Logic and Automata, Synthesis, Verification, Reactive Systems

Programme proposal

PDF (255 KB)

More information at:

GAMES website

Duration

5 years; March 2008 - March 2013