\(\mathsf{QCTL}\) model-checking with \(\mathsf{QBF}\) solvers
type: Item
instance of: scholarly article
title: \(\mathsf{QCTL}\) model-checking with \(\mathsf{QBF}\) solvers
author: Akash Hossain
author: François Laroussinie
published in: Information and Computation
publication date: 2021-09-21T00:00:00Z
full work available at URL: https://arxiv.org/abs/2010.03185
Mathematics Subject Classification ID: 68Qxx
zbMATH DE Number: 7398018
zbMATH Keywords: model-checking
zbMATH Keywords: temporal logics
zbMATH Keywords: quantified CTL
zbMATH Keywords: QBF solvers
describes a project that uses: MiniSat
describes a project that uses: z3
describes a project that uses: CESAR
describes a project that uses: CaDiCaL
MaRDI profile type: Publication
OpenAlex ID: W3095063913
cites work: Relation-changing modal operators: Fig. 1.
cites work: Modal logics of sabotage revisited
cites work: Q5422499
cites work: Q3336675
cites work: Quantified CTL: Expressiveness and Model Checking
cites work: Q2479551
cites work: Theory and Applications of Satisfiability Testing
cites work: Q4475142
cites work: Circuit-based search space pruning in QBF
cites work: Augmenting branching temporal logics with existential quantification over atomic propositions
cites work: Quantified CTL: Expressiveness and Complexity
cites work: Augmenting ATL with strategy contexts
cites work: Q5013877
cites work: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
cites work: Mathematical Foundations of Computer Science 2003
cites work: Q4804900
cites work: Quantified computation tree logic
cites work: Q3940830
cites work: Q2769443
cites work: Mechanizing Mathematical Reasoning
DOI: 10.1016/J.IC.2020.104642
description: scientific article; zbMATH DE number 7398018