Verification of Infinite-State Systems - Université Pierre et Marie Curie Access content directly
Book Sections Year : 2011

Verification of Infinite-State Systems

Abstract

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)

Identifiers

  • HAL Id : hal-01288079 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More