7 citations · 11 across the 2 of their papers we have counts for
2 papers
cs.LO2018★ 4 cited
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.LO2011★ 7 cited
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…