Languages

A Practical Verification Framework for Preemptive OS Kernels

TitleA Practical Verification Framework for Preemptive OS Kernels
Publication TypeConference Paper
Year of Publication2016
AuthorsXu F, Fu M, Feng X, Zhang X, Zhang H, Li Z
Conference NameProc. 28th International Conference on Computer Aided Verification (CAV’16), part II, pages 59--79
Conference Location Toronto, Ontario, Canada