STM-HRT Spin verification package

This package referenced in the paper submitted to RTSS. Some tests plan are presented in this package.
To run these tests, you need the SPIN model checker. SPIN is available here :
In the "test plan" file, you can find details about each test. More precisely: See README.txt for more informations

STM-HRT package (27ko)

Additional links