Login / Signup

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

Junjie WeiQin Li
Published in: SEKE (2022)
Keyphrases