2026-07-13 13:57 UTC
Any good resources on formal verification?
I'm trying to learn and get into that, but wondering what others have found helpful?
#askfedi
Replies (1)
-
@blainsmith@fosstodon.org 2026-07-13 14:10
@ruben Hillel always talks about formal methods and verification so that might be a good jumping off point. https://hillelwayne.com