Explore @coco-team Open Source projects

@coco-team

coco-team

Stars
84
Global Org. Rank 62,725 (Top 20 %)
Registered over 9 years ago
Most used languages

OCaml
37.5 %

MATLAB
25.0 %

eC 12.5 %

Python
12.5 %

Java
12.5 %

cocoSim-deprecated

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

lustrec

A modular Lustre to C / Horn clauses compiler

cocoSim2

Automated Analysis Framework for Simulink/Stateflow

zustre

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

spaceshuttle

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

benchmarks

A set of Lustre, Simulink, Stateflow benchmarks

Ikos-Api

Python and OCaml API for IKOS

log2model

pkind

A parallel version k-induction model checker for Lustre programs