Comment by kaba0

Formal verification techniques don’t scale, not even to your average CRUD app, let alone to an OS-scale.