Reposted by @ranjitjhala.bsky.social
"Recent years have seen many success stories where formal methods, or ideas influenced by formal methods,
have transitioned successfully from the research lab to development tools. Yet, formal methods have remained
the broccoli of the computing world: nutritious but not palatable, or, ↵
