Fiducia — Securing Critical Systems by Design
fiducia-lang.github.io
Fiducia is a programming language and toolchain for building secure, formally verifiable software on the seL4 microkernel.
立即前往
返回首页
