coco-team/spaceshuttle coco-team/spaceshuttle

  • Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language
  • License
    GNU General Publi...
  • Created almost 6 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
coco-team/spaceshuttle
github

coco-team

Reviews

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

Repository Details

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

More Repositories

1

cocoSim-deprecated

Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)
MATLAB
23
star
2

lustrec

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

cocoSim2

Automated Analysis Framework for Simulink/Stateflow
MATLAB
15
star
4

zustre

A model checker and assume/guarantee contract generator for Lustre programs.
Python
13
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