Verification of Infinite-State Systems

Stéphane Demri Denis Poitrenaud 1
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Document type :
Book sections
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01288079
Contributor : Lip6 Publications <>
Submitted on : Monday, March 14, 2016 - 3:39:49 PM
Last modification on : Thursday, March 21, 2019 - 2:41:04 PM

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

173