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.
Show more
Register and share your invite link to earn from video plays and referrals.
