A linear-time model-checking algorithm for the alternation-free modal mu- calculus
type: Item
instance of: scholarly article
title: A linear-time model-checking algorithm for the alternation-free modal mu- calculus
zbMATH Open document ID: 0772.68038
DOI: 10.1007/BF01383878
author: Rance Cleaveland
author: Bernhard Steffen
published in: Formal Methods in System Design
publication date: 1993-08-17T00:00:00Z
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 205352
zbMATH Keywords: automated verification
zbMATH Keywords: model-checking algorithms
zbMATH Keywords: automated verification tools for finite-state processes
MaRDI profile type: Publication
cites work: Automatic verification of finite-state concurrent systems using temporal logic specifications
cites work: Q4036558
cites work: Propositional dynamic logic of regular programs
cites work: Results on the propositional \(\mu\)-calculus
cites work: Q3792217
cites work: A lattice-theoretical fixpoint theorem and its applications
cites work: A linear algorithm to solve fixed-point equations on transition systems
cites work: Tableau-based model checking in the propositional mu-calculus
full work available at URL: https://doi.org/10.1007/bf01383878
OpenAlex ID: W1791618115
description: scientific article; zbMATH DE number 205352