QBF Encoding of Temporal Properties and QBF-Based Verification

DOI10.1007/978-3-319-08587-6_16zbMath1423.68296OpenAlexW82721630MaRDI QIDQ3192192

Wen-Hui Zhang

Publication date: 26 September 2014

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08587-6_16

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Temporal logic (03B44)

Related Items (4)

CTL Model Checking in Deduction Modulo ⋮ Linear templates of ACTL formulas with an application to SAT-based verification ⋮ Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations ⋮ CAQE and QuAbS: Abstraction Based QBF Solvers

This page was built for publication: QBF Encoding of Temporal Properties and QBF-Based Verification