Skip to content

@coco-team coco-team

Change the repository type filter

All

    Repositories list

    14 repositories

    • cocoSim2

      Public
      Automated Analysis Framework for Simulink/Stateflow
      MATLAB
      •
      Other
      •2•15•8•0•Updated Jul 25, 2023Jul 25, 2023

    • coco-team.github.io

      Public
      JavaScript
      •0•0•0•0•Updated Feb 18, 2020Feb 18, 2020

    • ir2lustre

      Public
      Compiler from CoCoSim IR to Lustre
      Java
      •
      Other
      •0•0•0•0•Updated Dec 31, 2019Dec 31, 2019

    • spaceshuttle

      Public
      Specification and Simulink Models of the Space Shuttle On-Orbit Flight Control System
      GNU General Public License v3.0
      •1•9•0•0•Updated Dec 19, 2018Dec 19, 2018

    • lustrec

      Public
      A modular Lustre to C / Horn clauses compiler
      OCaml
      •
      GNU Lesser General Public License v2.1
      •9•21•4•0•Updated Nov 17, 2018Nov 17, 2018

    • coco-project

      Public
      Main repository for CoCo project
      0•0•0•0•Updated Jun 5, 2018Jun 5, 2018

    • zustre

      Public
      A model checker and assume/guarantee contract generator for Lustre programs.
      checkermodellustre
      checkermodellustre
      Python
      •
      Other
      •5•15•9•0•Updated Jun 5, 2018Jun 5, 2018

    • regression-test

      Public
      Regression tests for CoCo tools
      SMT
      •0•0•0•0•Updated Aug 17, 2017Aug 17, 2017

    • cocoSim-deprecated

      Public
      Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)
      crustcompiler
      crustcompilermatlabverificationsimulinkstateflowlustre
      MATLAB
      •
      Other
      •10•24•11•1•Updated May 2, 2017May 2, 2017

    • benchmarks

      Public
      A set of Lustre, Simulink, Stateflow benchmarks
      eC
      •1•4•1•0•Updated Mar 16, 2017Mar 16, 2017

    • log2model

      Public
      Java
      •
      Apache License 2.0
      •0•1•0•0•Updated May 24, 2016May 24, 2016

    • pkind

      Public
      A parallel version k-induction model checker for Lustre programs
      OCaml
      •0•1•0•0•Updated May 18, 2016May 18, 2016

    • learnInterface

      Public
      Learning an interface (automata / contract) from an embedded matlab code
      Java
      •0•0•0•0•Updated Feb 13, 2016Feb 13, 2016

    • Ikos-Api

      Public
      Python and OCaml API for IKOS
      OCaml
      •
      MIT License
      •0•3•0•0•Updated Oct 1, 2015Oct 1, 2015
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.