Login
From:
Surfing Complexity
(Uncensored)
subscribe
Formal specs as sets of behaviors – Surfing Complexity
https://surfingcomplexity.blog/2025/07/26/formal-specs-as-sets-of-behaviors/
links
backlinks
Tagged with:
formal methods
Amazon’s recent announcement of their spec-driven AI tool, Kiro, inspired me to write a blog post on a completely unrelated topic: formal specifications. In particular, I wanted to write abou…
Roast topics
Find topics
Find it!
