How to prove your code has no runtime errors (and why you'll probably give up trying)
Abstract interpretation lets you prove runtime errors impossible before execution.
Your test suite passes. Your type checker is green. You ship. Two hours later, production throws an on an edge case no one thought to test. Testing finds bugs.…