4 citations · 29 across the 20 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 4 cited
Bug Hunting By Computing Range Reduction
Eugene Goldberg, Panagiotis Manolios
We describe a method of model checking called Computing Range Reduction (CRR). The CRR method is based on derivation of clauses that reduce the set of traces of reachable states in…
cs.LO2014★ 1 cited
Partial Quantifier Elimination
Eugene Goldberg, Panagiotis Manolios
We consider the problem of Partial Quantifier Elimination (PQE). Given formula exists(X)[F(X,Y) & G(X,Y)], where F, G are in conjunctive normal form, the PQE problem is to find a f…