Skip to content

Add simulation scenarios to CIF bridge example

We have an accepted publication for TACAS 2023 about Eclipse ESCET. The appendix contains some simulation scenarios. Artefact reviewers think it is a good idea to add some of the appendix to Eclipse ESCET itself. I propose to add the simulation scenarios/instructions in some way to the CIF 'bridge' example.