Sound verification procedures for temporal properties of infinite-state systems
type: Item
instance of: scholarly article
title: Sound verification procedures for temporal properties of infinite-state systems
zbMATH Open document ID: 1493.68219
DOI: 10.1007/978-3-030-81688-9_16
author: Quentin Peyras
author: Jean-Paul Bodeveix
author: Julien Brunel
author: David Chemouil
publication date: 2022-03-25T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 7498187
describes a project that uses: Coq
describes a project that uses: Ivy
describes a project that uses: Cubicle
describes a project that uses: nuXmv
describes a project that uses: Rodin
describes a project that uses: Verdi
describes a project that uses: IronFleet
MaRDI profile type: Publication
full work available at URL: 978-3-030-81688-9 16
OpenAlex ID: W3180354117
cites work: Q3569584
cites work: Q4551152
cites work: An improved algorithm for decentralized extrema-finding in circular configurations of processes
cites work: Cubicle-\(\mathcal{W}\): parameterized model checking on weak memory
cites work: Parameterized model checking on the TSO weak memory model
cites work: Proving Liveness of Parameterized Programs
cites work: Decidable fragments of first-order temporal logics
cites work: Monodic Fragments of First-Order Temporal Logics: 2000–2001 A.D.
cites work: Thread modularity at many levels: a pearl in compositional verification
cites work: On finite domains in first-order linear temporal logic
cites work: A decidable and expressive fragment of Many-Sorted first-order linear temporal logic
cites work: Q2769579
cites work: Q4904106
description: scientific article; zbMATH DE number 7498187