bannera

Book A.
Introduction

Book B.
7150 Requirements Guidance

Book C.
Topics

Tools,
References, & Terms

SPAN
(NASA Only)

You are viewing an old version of this page. View the current version.

Compare with Current View Page History

« Previous Version 4 Current »

Tool title

Title of page above

Type

Open Source

Owner/Source

NASA Ames RSE Group

Link

https://github.com/coco-team/cocoSim

Description

CoCoSim is a modular, integrated analysis framework for Simulink(c) models. It consists of a compiler and an interface to backend solvers (model checkers). It modularly compiles a Simulink(c) model (+ design property) into Lustre code. In principle CoCoSim can use any model checker that supprt Lustre code. The current version uses Zustre, Kind2 and Eldarica as the backend model checkers.

User

ARC

SWE

SWE-135


  • No labels