Verification of Infinite-State Systems - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2011

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).
Fichier principal
Vignette du fichier
DP-DS11b.pdf (708.82 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-01288079 , version 1 (07-04-2021)

Identifiants

  • HAL Id : hal-01288079 , version 1

Citer

Stéphane Demri, Denis Poitrenaud. Verification of Infinite-State Systems. Models and Analysis in Distributed Systems, Wiley, pp.221-269, 2011, 9781848213142. ⟨hal-01288079⟩
188 Consultations
27 Téléchargements

Partager

Gmail Facebook X LinkedIn More