Model checking \(\omega \)-regular properties with decoupled search
type: Item
instance of: scholarly article
title: Model checking \(\omega \)-regular properties with decoupled search
zbMATH Open document ID: 1493.68208
DOI: 10.1007/978-3-030-81688-9_19
author: Daniel Gnad
author: Jan Eisenhut
author: Alberto Lluch Lafuente
author: J. Hoffmann
publication date: 2022-03-25T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 7498190
describes a project that uses: PRISM
describes a project that uses: SPIN
describes a project that uses: NuSMV
describes a project that uses: Cunf
MaRDI profile type: Publication
full work available at URL: 978-3-030-81688-9 19
OpenAlex ID: W3183275725
cites work: Graph-Based Algorithms for Boolean Function Manipulation
cites work: Q4804909
cites work: Q4037388
cites work: Q4493881
cites work: Q2754166
cites work: Q4531752
cites work: An improvement of McMillan's unfolding algorithm
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: Star-Topology Decoupling in SPIN
cites work: Star-topology decoupled state space search
cites work: Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search
cites work: Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
cites work: Q4356435
cites work: An automata-theoretic approach to branching-time model checking
cites work: Q3141897
cites work: Combining partial-order reductions with on-the-fly model-checking.
cites work: Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs
cites work: Determinization of Büchi-Automata
cites work: Q5480170
cites work: A stubborn attack on state explosion
description: scientific article; zbMATH DE number 7498190