research
∙
03/27/2023
Verification Of Partial Quantifier Elimination
Quantifier elimination (QE) is an important problem that has numerous ap...
research
∙
03/24/2023
Partial Quantifier Elimination And Property Generation
We study partial quantifier elimination (PQE) for propositional CNF form...
research
∙
04/20/2020
On Verifying Designs With Incomplete Specification
Incompleteness of a specification 𝑆𝑝𝑒𝑐 creates two problems. First, an i...
research
∙
04/13/2020
Generation Of A Complete Set Of Properties
One of the problems of formal verification is that it is not functionall...
research
∙
03/21/2020
Partial Quantifier Elimination By Certificate Clauses
We study a modification of the Quantifier Elimination (QE) problem calle...
research
∙
06/25/2019
Partial Quantifier Elimination With Learning
We consider a modification of the Quantifier Elimination (QE) problem ca...
research
∙
09/29/2018
Quantifier Elimination With Structural Learning
We consider the Quantifier Elimination (QE) problem for propositional CN...
research
∙
09/03/2018
Improving Convergence Rate Of IC3
IC3, a well-known model checker, proves a property of a state system ξ b...
research
∙
08/16/2018
Complete Test Sets And Their Approximations
We use testing to check if a combinational circuit N always evaluates to...
research
∙
03/30/2018
Generation of complete test sets
We use testing to check if a combinational circuit N always evaluates to...
research
∙
11/15/2017