Theorem
@theoremlabs
Accelerate software verification.
加入 May 2025
2 正在關注 743 粉絲
What would it take to formally verify all the software a real system runs on?
We modeled one ecosystem: nixpkgs, with 28,650 packages and 154 GB of machine code.
顯示更多
