Yes! Formal verification has been in the ivory tower for years and years, but hopefully it can break out in the coming decade. It's a field where the theory i

Yes! Formal verification has been in the ivory tower for years and years, but hopefully it can break out in the coming decade. It's a field where the theory is very advanced, but the tooling for Joe Average Programmer is very lacking.