Skip to Main content Skip to Navigation
Book sections

Verification of Infinite-State Systems

Stéphane Demri 1, 2, 3 Denis Poitrenaud 4
3 DAHU - Verification in databases
LSV - Laboratoire Spécification et Vérification [Cachan], Inria Saclay - Ile de France
4 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
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).
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01288079
Contributor : Lip6 Publications <>
Submitted on : Wednesday, April 7, 2021 - 4:39:31 PM
Last modification on : Saturday, May 1, 2021 - 3:39:58 AM

File

DP-DS11b.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : hal-01288079, version 1

Citation

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

Share

Metrics

Record views

230

Files downloads

4