>(Eh, ) I highly doubt that it will ever have a practical use beyond teaching kids in the classroom that formal verification is fun, and maybe nerd-sniping some

>(Eh, ) I highly doubt that it will ever have a practical use beyond teaching kids in the classroom that formal verification is fun, and maybe nerd-sniping some defense weirdos to win some obscene DOD contracts. Uh, perhaps take a look at the seL4 foundation's members[0], who are using it in the wild in very serious scenarios. You can learn more about them as well as ongoing development work in seL4 Summit[1]. 0. https://sel4.systems/Foundation/Membership/home.pml https://sel4.systems/Foundation/Membership/home.pml 1. https://sel4.systems/Foundation/Summit/home.pml https://sel4.systems/Foundation/Summit/home.pml