The INTO-CPS Association
INtegrated TOol chain for model-based design of CPSs repositories
Pinned
Repositories
-
-
-
-
-
- fm_dt_tutorial_2021 Public
- Scenario-Verifier Public
This repository contains the verifier used in the paper: "Verification of Co-Simulation Algorithms". The Verifer lets the user specify a scenario in an easy and readable way. The tool is able to parse the scenario and algortihm and runs in against the Uppaal model from the previously mentioned paper.
-
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…