7 citations · 12 across the 3 of their papers we have counts for
3 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.PL2013★ 1 cited
Coroutining Folds with Hyperfunctions
J. Launchbury, S. Krstic, T. E. Sauerwein
Fold functions are a general mechanism for computing over recursive data structures. First-order folds compute results bottom-up. With higher-order folds, computations that inherit…
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…