The repository contains the artifacts for runtime verification and model checking in eTrice.
The eTriceExample folder contains both the versions of the example provided by Protos. Please install eTrice to open these models.
The nusmvFiles folder contains the generated NuSMV specification for the example.