Kind 2 Model Checker
Parallel multi-engine SMT-based inductive model checker
- 3 followers
- The University of Iowa
- http://kind.cs.uiowa.edu
Pinned Loading
Repositories
Showing 10 of 12 repositories
- kind2 Public
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
kind2-mc/kind2’s past year of commit activity - kind2-java-api Public
An API for constructing Lustre programs, running Kind 2, and showing results/suggestions.
kind2-mc/kind2-java-api’s past year of commit activity - vscode-kind2 Public
kind2-mc/vscode-kind2’s past year of commit activity - OpenUxAS_P_Models Public
kind2-mc/OpenUxAS_P_Models’s past year of commit activity - mivc-must-experiments Public
kind2-mc/mivc-must-experiments’s past year of commit activity - kind2-explanations Public
kind2-mc/kind2-explanations’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…