Popular repositories

1. cocoSim-deprecated cocoSim-deprecated Public

   Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)

   MATLAB 23 9

2. lustrec lustrec Public

   A modular Lustre to C / Horn clauses compiler

   OCaml 15 9

3. cocoSim2 cocoSim2 Public

   Automated Analysis Framework for Simulink/Stateflow

   MATLAB 15 2

4. zustre zustre Public

   A model checker and assume/guarantee contract generator for Lustre programs.

   Python 13 5

5. spaceshuttle spaceshuttle Public

   Specification and Simulink Models of the Space Shuttle On-Orbit Flight Control System

   8 1

6. benchmarks benchmarks Public

   A set of Lustre, Simulink, Stateflow benchmarks

   eC 4 1