A stubborn attack on state explosion
type: Item
instance of: scholarly article
title: A stubborn attack on state explosion
zbMATH Open document ID: 0783.68083
DOI: 10.1007/BF00709154
author: Antti Valmari
published in: Formal Methods in System Design
publication date: 1993-09-30T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 68Q10
zbMATH DE Number: 417065
zbMATH Keywords: \(LTL\)-preserving stubborn set method
zbMATH Keywords: automatic verification of concurrent systems
zbMATH Keywords: reduced state spaces
zbMATH Keywords: temporal logic
MaRDI profile type: Publication
cites work: Automatic verification of finite-state concurrent systems using temporal logic specifications
cites work: Q4037087
cites work: Q4037108
cites work: Using partial orders for the efficient verification of deadlock freedom and safety properties
cites work: A partial approach to model checking
cites work: Q4037102
cites work: Interleaving set temporal logic
cites work: Q4091421
cites work: A Theory of Communicating Sequential Processes
cites work: Q4037089
description: scientific article; zbMATH DE number 417065