Linking pages
- Misspecification: The Blind Spot of Formal Verification | Concerning Quality https://concerningquality.com/misspecification/ 3 comments
- GitHub - heidihoward/distributed-consensus-reading-list: A list of papers about distributed consensus. https://github.com/heidi-ann/distributed-consensus-reading-list 0 comments
- TLA+ for startups (part 1). Why formal specifications are not a… | by Neil O'Connor | Koodoo | Medium https://medium.com/koodoo/tla-for-startups-part-1-8b162863824b 0 comments