# mars

**Repository Path**: abentkamp/mars

## Basic Information

- **Project Name**: mars
- **Description**: MARS: a toolchain for Modeling, Analyzing and veRifying hybrid Systems
- **Primary Language**: Unknown
- **License**: Not specified
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 7
- **Created**: 2022-01-10
- **Last Updated**: 2022-06-17

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

  
# MARS: a toolchain for Modeling, Analyzing and veRifying hybrid Systems

A new version of README file is in progress.

## Stateflow conversion tests and examples:

* Run all tests:

```python -m unittest ss2hcsp.tests.sf_convert_test```

* Translation code at ```ss2hcsp/sf```

* Stateflow benchmarks at ```Examples/Stateflow/tests```

* RTPS case study at ```Stateflow/sf_new```