Hacker News
Lobsters
- Why Specifications Don't Compose https://www.hillelwayne.com/post/spec-composition/ 12 comments formalmethods , math
Linking pages
- Specification Refinement • Hillel Wayne https://www.hillelwayne.com/post/refinement/ 0 comments
- Using Abstract Data Types in TLA+ • Hillel Wayne https://www.hillelwayne.com/post/tla-adt/ 0 comments
- Composing TLA+ Specifications with State Machines https://www.hillelwayne.com/post/composing-tla/ 0 comments
Linked pages
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:hillelwayne.com
Search title: Why Specifications Don't Compose • Hillel Wayne
See how to search.