77 citations · 96 across the 8 of their papers we have counts for
1 paper · 1 filter
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,…