Discussion about this post

User's avatar
Evan Meagher's avatar

I wonder if (and increasingly suspect that) we’ll see a surge in interest in formal methods. Specification languages like TLA+ have been beasting in academia for years but have ~zero traction in industry. This might change now that verification is suddenly the only leg of the stool left standing for how humans can instill trust in software.

1 more comment...

No posts

Ready for more?