We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
An API for constructing Lustre programs, running Kind 2, and showing results/suggestions.
Kind 2 Model Checker