77 citations · 126 across the 14 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.LO2011★ 77 cited
PKind: A parallel k-induction based model checker
Temesghen Kahsai, Cesare Tinelli
PKind is a novel parallel k-induction-based model checker of invariant properties for finite- or infinite-state Lustre programs. Its architecture, which is strictly message-based,…
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…