4 citations · 29 across the 20 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 4 cited
Property Checking Without Inductive Invariants
Eugene Goldberg
We introduce a procedure for proving safety properties. This procedure is based on a technique called Partial Quantifier Elimination (PQE). In contrast to complete quantifier elimi…
cs.LO2016★ 2 cited
Property Checking By Logic Relaxation
Eugene Goldberg
We introduce a new framework for Property Checking (PC) of sequential circuits. It is based on a method called Lo-gic Relaxation (LoR). Given a safety property, the LoR method rela…