coco-team/cocoSim-deprecated coco-team/cocoSim-deprecated

  • Stars
    star
    23
  • Rank 1,016,462 (Top 21 %)
  • Language
    MATLAB
  • License
    Other
  • Created over 9 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
coco-team/cocoSim-deprecated
github

coco-team

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

lustrec

A modular Lustre to C / Horn clauses compiler
OCaml
17
star
2

cocoSim2

Automated Analysis Framework for Simulink/Stateflow
MATLAB
15
star
3

zustre

A model checker and assume/guarantee contract generator for Lustre programs.
Python
13
star
4

spaceshuttle

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

benchmarks

A set of Lustre, Simulink, Stateflow benchmarks
eC
4
star
6

Ikos-Api

Python and OCaml API for IKOS
OCaml
2
star
7

log2model

Java
1
star
8

pkind

A parallel version k-induction model checker for Lustre programs
OCaml
1
star