3 ms·
Formal specs as sets of behaviors
- gm678 1y agoPosted at https://news.ycombinator.com/item?id=44700744 https://news.ycombinator.com/item?id=44700744
- tomhow 1y agoComments moved thither. Thanks!
- mehulashah 1y agoA beautiful and simple explanation of formal specs. I especially like the remark that a spec can be incorrect. The art of building correct systems is just in showing the implementation is correct but also choosing a spec that matches our intuitive understanding of the system.