Before and after vacuity
type: Item
instance of: scholarly article
title: Before and after vacuity
zbMATH Open document ID: 1165.68402
author: Hana Chockler
author: Ofer Strichman
published in: Formal Methods in System Design
publication date: 2009-07-06T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5576074
zbMATH Keywords: vacuity
zbMATH Keywords: model-checking
zbMATH Keywords: complexity
describes a project that uses: VaqTree
describes a project that uses: CESAR
describes a project that uses: NuSMV
MaRDI profile type: Publication
full work available at URL: s10703-008-0060-y
OpenAlex ID: W2120702165
cites work: Computer Aided Verification
cites work: Efficient detection of vacuity in temporal model checking
cites work: Temporal Antecedent Failure: Refining Vacuity
cites work: Correct Hardware Design and Verification Methods
cites work: NuSMV: A new symbolic model checker
cites work: Formal Methods in Computer-Aided Design
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: Finding State Solutions to Temporal Logic Queries
cites work: Q5715677
cites work: Q2769612
cites work: Fixed-parameter tractability and completeness II: On completeness for W[1]
cites work: Vacuity Checking in the Modal Mu-Calculus*
cites work: Approximation algorithms for combinatorial problems
cites work: Q4494396
cites work: The complexity of optimization problems
cites work: Sanity Checks in Formal Verification
cites work: On the complexity of unique solutions
cites work: A practical decision method for propositional dynamic logic (Preliminary Report)
cites work: Q4804918
cites work: The complexity of propositional linear temporal logics
cites work: Reasoning about infinite computations
DOI: 10.1007/S10703-008-0060-Y
description: scientific article; zbMATH DE number 5576074