Find link

language:

Find link is a tool written by Edward Betts.

searching for L4 microkernel family 1 found (16 total)

Trusted computing base (1,629 words) [view diff] exact match in snippet view article find links to article

recently performed such a formal verification of seL4, a member of the L4 microkernel family, proving functional correctness of the C implementation of the kernel