ABZ2020 CaseStudy In Asmeta
Content of the repository
Documents: contains tables and graphs cited in the paper and added here because of space limitation in the paper
Models:
- Car System MC: contains the models adapted for the model checker execution
- Car System module: contains the models of ELS and SCS implemented with the modules The scenarios available can be executed with a new version of the Asmeta Validator that will be released soon.