Applications of Game Semantics: From Program Analysis to Hardware Synthesis

After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in particular on finite state model checking, higher order model checking and more recent developments in hardware design.

• Type: Conference
• Year: 2009
• Where: LICS
• Authors: Dan R. Ghica
• Keywords: Computer Science, LICS 2009, Model Checking, Order Model Checking, finite State Model