Verification of Infinite-State Systems - Archive ouverte HAL Access content directly
Book Sections Year : 2011

Verification of Infinite-State Systems


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
Origin Publisher files allowed on an open archive

Dates and versions

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


  • HAL Id : hal-01288079 , version 1


Stéphane Demri, Denis Poitrenaud. Verification of Infinite-State Systems. Models and Analysis in Distributed Systems, Wiley, pp.221-269, 2011, 9781848213142. ⟨hal-01288079⟩
192 View
31 Download


Gmail Mastodon Facebook X LinkedIn More