Haiyong Sun, Hang Lei. Formal verification of a task scheduler for embedded operating systems. Journal of Intelligent and Fuzzy Systems, 38(2):1391-1399, 2020. [doi]
@article{SunL20,
title = {Formal verification of a task scheduler for embedded operating systems},
author = {Haiyong Sun and Hang Lei},
year = {2020},
doi = {10.3233/JIFS-179502},
url = {https://doi.org/10.3233/JIFS-179502},
researchr = {https://researchr.org/publication/SunL20},
cites = {0},
citedby = {0},
journal = {Journal of Intelligent and Fuzzy Systems},
volume = {38},
number = {2},
pages = {1391-1399},
}