You Don’t Know Jack About Formal Verification:
What can you confidently guarantee about your software?

By eliminating the cost of writing proofs, AI is removing the biggest barrier to formal verification.

queue.acm.org/detail.cfm?i...

Every so often, this magnet on my fridge catches my attention, and I think about how innocent the internet used to seem.