Local model checking for infinite state spaces
type: Item
instance of: scholarly article
title: Local model checking for infinite state spaces
zbMATH Open document ID: 0747.68036
DOI: 10.1016/0304-3975(92)90183-G
author: Julian Bradfield
author: Colin Stirling
published in: Theoretical Computer Science
publication date: 1992-09-26T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 55545
zbMATH Keywords: program verification
zbMATH Keywords: tableau proof system
zbMATH Keywords: transition system
zbMATH Keywords: modal mu- calculus
MaRDI profile type: Publication
cites work: CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus
cites work: Proof methods for modal and intuitionistic logics
cites work: SnS can be modally characterized
cites work: Results on the propositional \(\mu\)-calculus
cites work: Proof systems for satisfiability in Hennessy-Milner logic with recursion
cites work: Q4733399
cites work: Modal logics for communicating systems
cites work: Q4733387
cites work: Local model checking in the modal mu-calculus
cites work: An automata theoretic decision procedure for the propositional mu- calculus
full work available at URL: 0304-3975(92)90183-g
OpenAlex ID: W2097026217
description: scientific article; zbMATH DE number 55545