Kind2-SMC

Aug 1, 2026
Go to Project Site Code

Fork of Kind2 extended with Statistical Model Checking feature (SMC).

Fabien Siron
Fabien Siron
Research Engineer | Lecturer

Research engineer working on formal verification, synchronous-reactive systems and safety-critical real-time software.