Automata, logic and games for the λ-calculus
<p>Automata, logic and games provide the mathematical theory that underpins the model checking of reactive systems:</p> <p>- automata on infinite words and trees as models of computation for statebased systems,</p> <p>- logical systems such as temporal and modal logics...
| Main Author: | |
|---|---|
| Format: | Conference item |
| Published: |
Springer
2016
|
| Summary: | <p>Automata, logic and games provide the mathematical theory that underpins the model checking of reactive systems:</p> <p>- automata on infinite words and trees as models of computation for statebased systems,</p> <p>- logical systems such as temporal and modal logics for specifying correctness properties, and</p> <p>- two-person games as a mathematical model of the interactions between a system and its environment.</p> |
|---|