52 citations · 103 across the 25 of their papers we have counts for
4 papers · 1 filter
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…
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…
Data Definitions in the ACL2 Sedan
Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios
We present a data definition framework that enables the convenient specification of data types in ACL2s, the ACL2 Sedan. Our primary motivation for developing the data definition f…
ILP Modulo Data
Panagiotis Manolios, Vasilis Papavasileiou, Mirek Riedewald
The vast quantity of data generated and captured every day has led to a pressing need for tools and processes to organize, analyze and interrelate this data. Automated reasoning an…