Proving Memory Separation in a Microkernel by Code Level Verification

2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops ◽

10.1109/isorcw.2011.14 ◽

2011 ◽

Cited By ~ 17

Author(s):

Christoph Baumann ◽

Thorsten Bormer ◽

Holger Blasum ◽

Sergey Tverdyshev

Download Full-text