Formal verification of a task scheduler for embedded operating systems

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]

Abstract

Abstract is missing.