seL4
from
形式手法
形式検証された
OS
https://blog.unsoundsystem.dev/posts/sel4_verification_architecture
日本語記事
https://www.researchgate.net/publication/220420663_seL4_Formal_Verification_of_an_Operating-System_Kernel
https://www.youtube.com/watch?v=IqzxuDHZay4&t=618
高野祐輝