Abstract: The seL4 microkernel [3] is the first general-purpose operating system (OS) kernel with a formal proof of implementation correctness. By now, its verification covers functional correctness ...
Robust Distributed System Nucleus (rDSN) is a framework for quickly building robust distributed systems. It has a microkernel for pluggable components, including applications, distributed frameworks, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results