NKind: a model checker for liveness property verification on Lustre programs.

Junjie Wei, Qin Li

Browse the full SEKE paper archive.