README.md

Using Maude To Verify the CCSL

Mainly based on the paper: 《Periodic scheduling for MARTE/CCSL: Theory and practice》

Main Work

1. Reproduce the experiment in the paper.
2. Based on the main idea in the paper, we add the function that can verify whether the CCSL sequence satisfy the given constraints.