Verification of Infinite-State Systems
Résumé
In this chapter, we briefly present several methods that are used for the verification
of infinite-state systems. Furthermore, we show how the developments in counter
systems are related to other techniques (exact methods or by approximation).
| Origine | Fichiers éditeurs autorisés sur une archive ouverte |
|---|