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
|