Question-guided stubborn set methods for state properties
type: Item
instance of: scholarly article
title: Question-guided stubborn set methods for state properties
zbMATH Open document ID: 1109.68075
published in: Formal Methods in System Design
publication date: 2007-01-24T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 5118398
zbMATH Keywords: State space methods
zbMATH Keywords: State explosion problem
zbMATH Keywords: Stubborn set methods
zbMATH Keywords: Partial-order reduction
zbMATH Keywords: Petri nets
author: Lars M. Kristensen
author: Karsten Wolf
author: Antti Valmari
describes a project that uses: Zing
describes a project that uses: BPEL2PN
describes a project that uses: CESAR
describes a project that uses: SPIN
describes a project that uses: LoLA
MaRDI profile type: Publication
full work available at URL: s10703-006-0006-1
OpenAlex ID: W2076703513
cites work: Computer Aided Verification
cites work: Correct Hardware Design and Verification Methods
cites work: Q3336675
cites work: State space reduction using partial order techniques
cites work: Q4247286
cites work: Q4385542
cites work: A partial order approach to branching time logic model checking.
cites work: Q3684121
cites work: Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
cites work: Relaxed visibility enhances partial order reduction
cites work: Q2766568
cites work: Q4738472
cites work: The temporal semantics of concurrent programs
cites work: Q3777424
cites work: Petri nets with individual tokens
cites work: Q2766586
cites work: Q4037380
cites work: Q4353636
cites work: Using partial orders for the efficient verification of deadlock freedom and safety properties
DOI: 10.1007/S10703-006-0006-1
description: scientific article; zbMATH DE number 5118398