On stubborn sets in the verification of linear time temporal properties
type: Item
instance of: scholarly article
title: On stubborn sets in the verification of linear time temporal properties
zbMATH Open document ID: 1075.68060
author: Kimmo Varpaaniemi
published in: Formal Methods in System Design
publication date: 2005-05-17T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 2168294
zbMATH Keywords: linear time temporal logic
MaRDI profile type: Publication
full work available at URL: s10703-005-4594-y
OpenAlex ID: W2030867074
cites work: A partial order approach to branching time logic model checking.
cites work: Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
cites work: Q4037381
cites work: Verification of distributed programs using representative interleaving sequences
cites work: Relaxed visibility enhances partial order reduction
cites work: Q2766568
cites work: Q4507820
cites work: Q4002642
cites work: Combining partial-order reductions with on-the-fly model-checking.
cites work: Q4507826
cites work: Q3219122
cites work: Q4372017
cites work: Q3997018
cites work: Q4507830
cites work: A stubborn attack on state explosion
cites work: Q4353636
cites work: Q4239305
cites work: Q4507831
DOI: 10.1007/S10703-005-4594-Y
description: scientific article; zbMATH DE number 2168294