Popular repositories Loading

1. cocoSim-deprecated cocoSim-deprecated Public

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

   MATLAB 25 9

2. lustrec lustrec Public

   A modular Lustre to C / Horn clauses compiler

   OCaml 20 9

3. cocoSim2 cocoSim2 Public

   Automated Analysis Framework for Simulink/Stateflow

   MATLAB 16 2

4. zustre zustre Public

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

   Python 15 5

5. spaceshuttle spaceshuttle Public

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

   9 1

6. benchmarks benchmarks Public

   A set of Lustre, Simulink, Stateflow benchmarks

   eC 5 1