Change the repository type filter
All
Repositories list
84 repositories
DTaaS
Publicmaestro
Publicinto-cps-application
PublicThe front-end of the INTO-CPS tool chainDTEngineeringBook
Publicunifmu
PublicDigitalTwins_RoboSim
PublicDigital Twin implementations with Co-simulation and RoboStar technologiesFMI-VDM-Model
Publicexample-incubator-fmi3
Publicsimulation-bridge
PublicDTaaS-examples
PublicExamples to demonstrate the features of DTaaS softwareplant-controller
Publicfmu-rabbitmq
Publicexample-shm
Publicfault-injection-maestro
Publicsysml-profile
Publicorg.intocps.maestro.fmi
PublicCo-Simulation-Studio
PublicThreeD-glb-viewer
Public- Demo for distributed co-simulation using UniFMU
URDF-VDM-Model
PublicDigitalization-Tutorials
Publicml-workspace
Publicunifmu_examples
PublicmaestroV2
Public archiveScenario-Verifier
PublicThis 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.