Giters
coco-team

coco-team

Geek Repo

Github PK Tool:Github PK Tool

coco-team's repositories

cocoSim-deprecated

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

Language:MATLABLicense:NOASSERTIONStargazers:23Issues:14Issues:31

lustrec

A modular Lustre to C / Horn clauses compiler

Language:OCamlLicense:LGPL-2.1Stargazers:15Issues:3Issues:13

cocoSim2

Automated Analysis Framework for Simulink/Stateflow

Language:MATLABLicense:NOASSERTIONStargazers:14Issues:9Issues:13

zustre

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

Language:PythonLicense:NOASSERTIONStargazers:13Issues:5Issues:14

spaceshuttle

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

License:GPL-3.0Stargazers:8Issues:6Issues:0

benchmarks

A set of Lustre, Simulink, Stateflow benchmarks

Language:eCStargazers:4Issues:7Issues:0

Ikos-Api

Python and OCaml API for IKOS

Language:OCamlLicense:MITStargazers:1Issues:4Issues:0

log2model

Language:JavaLicense:Apache-2.0Stargazers:1Issues:3Issues:0

pkind

A parallel version k-induction model checker for Lustre programs

Language:OCamlStargazers:1Issues:0Issues:0

coco-project

Main repository for CoCo project

Stargazers:0Issues:5Issues:0

ir2lustre

Compiler from CoCoSim IR to Lustre

Language:JavaLicense:NOASSERTIONStargazers:0Issues:6Issues:0

coco-team.github.io

Language:JavaScriptStargazers:0Issues:0Issues:0

learnInterface

Learning an interface (automata / contract) from an embedded matlab code

Language:JavaStargazers:0Issues:2Issues:0

regression-test

Regression tests for CoCo tools

Language:SMTStargazers:0Issues:0Issues:0