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.
显示更多
