Fiducia is a programming language and toolchain for building verifiably secure systems on the seL4 microkernel. It brings formal verification to everyday developers - no PhD required.

arrow-left bars magnifying-glass xmark