Module checking
type: Item
instance of: scholarly article
title: Module checking
zbMATH Open document ID: 1003.68071
author: Orna Kupferman
author: Moshe Y. Vardi
author: Pierre Wolper
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 68Q17
zbMATH DE Number: 1853154
describes a project that uses: CESAR
MaRDI profile type: Publication
full work available at URL: inco.2000.2893
OpenAlex ID: W2913210435
cites work: Characterizing finite Kripke structures in propositional temporal logic
cites work: Q3336675
cites work: Automatic verification of finite-state concurrent systems using temporal logic specifications
cites work: A linear-time model-checking algorithm for the alternation-free modal mu- calculus
cites work: “Sometimes” and “not never” revisited
cites work: Q4385542
cites work: Deciding full branching time logic
cites work: Propositional dynamic logic of regular programs
cites work: Q5584402
cites work: Q3811756
cites work: Q4198056
cites work: Q4128417
cites work: An axiomatic basis for computer programming
cites work: Q3777424
cites work: Q3703299
cites work: Buy one, get one free!!!
cites work: Results on the propositional \(\mu\)-calculus
cites work: An automata-theoretic approach to branching-time model checking
cites work: Automatic verification methods for finite state systems. International workshop, Grenoble, France, June 12-14, 1989. Proceedings
cites work: Interpolants and Symbolic Model Checking
cites work: Q4002642
cites work: Q4205072
cites work: A near-optimal method for reasoning about action
cites work: Q3940830
cites work: Decidability of Second-Order Theories and Automata on Infinite Trees
cites work: The complexity of propositional linear temporal logics
cites work: Automata-theoretic techniques for modal logics of programs
cites work: Reasoning about infinite computations
DOI: 10.1006/INCO.2000.2893
description: scientific article; zbMATH DE number 1853154