Pinned Repositories
benchmarks
A set of Lustre, Simulink, Stateflow benchmarks
coco-project
Main repository for CoCo project
cocoSim-deprecated
Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)
cocoSim2
Automated Analysis Framework for Simulink/Stateflow
Ikos-Api
Python and OCaml API for IKOS
log2model
lustrec
A modular Lustre to C / Horn clauses compiler
pkind
A parallel version k-induction model checker for Lustre programs
spaceshuttle
Specification and Simulink Models of the Space Shuttle On-Orbit Flight Control System
zustre
A model checker and assume/guarantee contract generator for Lustre programs.
coco-team's Repositories
coco-team/cocoSim-deprecated
Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)
coco-team/cocoSim2
Automated Analysis Framework for Simulink/Stateflow
coco-team/lustrec
A modular Lustre to C / Horn clauses compiler
coco-team/zustre
A model checker and assume/guarantee contract generator for Lustre programs.
coco-team/spaceshuttle
Specification and Simulink Models of the Space Shuttle On-Orbit Flight Control System
coco-team/benchmarks
A set of Lustre, Simulink, Stateflow benchmarks
coco-team/Ikos-Api
Python and OCaml API for IKOS
coco-team/log2model
coco-team/pkind
A parallel version k-induction model checker for Lustre programs
coco-team/coco-project
Main repository for CoCo project
coco-team/ir2lustre
Compiler from CoCoSim IR to Lustre
coco-team/coco-team.github.io
coco-team/learnInterface
Learning an interface (automata / contract) from an embedded matlab code
coco-team/regression-test
Regression tests for CoCo tools