Searched for: TUD-SERG-2010-042
(1 - 1 of 1)
document
Pronk, C. (author)
This paper presents a study on modeling and verifying the kernel of Real-Time Operating Systems (RTOS). The study will show advances in formally verifying such an RTOS both by refinement and by model checking approaches. This work fits in the context of Hoareā€™s verification challenge. Several real-time operating systems will be discussed...
report 2010