papers
Publications (3)
cs.LO2018
FAR-Cubicle - A new reachability algorithm for Cubicle
Sylvain Conchon, Amit Goel, Sava Krstic +2
We present a fully automatic algorithm for verifying safety properties of parameterized software systems. This algorithm is based on both IC3 and Lazy Annotation. We implemented it…
cs.IR2011
A Framework for Prefetching Relevant Web Pages using Predictive Prefetching Engine (PPE)
Jyoti, A. K. Sharma, Amit Goel
This paper presents a framework for increasing the relevancy of the web pages retrieved by the search engine. The approach introduces a Predictive Prefetching Engine (PPE) which ma…
cs.LO2012
Ground interpolation for the theory of equality
Alexander Fuchs, Amit Goel, Jim Grundy +2
Theory interpolation has found several successful applications in model checking. We present a novel method for computing interpolants for ground formulas in the theory of equality…