
On Verifying Designs With Incomplete Specification
Incompleteness of a specification ππππ creates two problems. First, an i...
read it

Generation Of A Complete Set Of Properties
One of the problems of formal verification is that it is not functionall...
read it

Partial Quantifier Elimination By Certificate Clauses
We study a modification of the Quantifier Elimination (QE) problem calle...
read it

Partial Quantifier Elimination With Learning
We consider a modification of the Quantifier Elimination (QE) problem ca...
read it

Quantifier Elimination With Structural Learning
We consider the Quantifier Elimination (QE) problem for propositional CN...
read it

Improving Convergence Rate Of IC3
IC3, a wellknown model checker, proves a property of a state system ΞΎ b...
read it

Complete Test Sets And Their Approximations
We use testing to check if a combinational circuit N always evaluates to...
read it

Generation of complete test sets
We use testing to check if a combinational circuit N always evaluates to...
read it

Efficient Verification of MultiProperty Designs (The Benefit of Wrong Assumptions) (Extended Version)
We consider the problem of efficiently checking a set of safety properti...
read it
Eugene Goldberg
is this you? claim profile