Linking pages
- State and time are the same thing • Buttondown https://buttondown.com/hillelwayne/archive/state-and-time-are-the-same-thing/ 59 comments
- Nondeterminism in Formal Specification • Buttondown https://buttondown.email/hillelwayne/archive/nondeterminism-in-formal-specification/ 2 comments
- Don't let Alloy facts make your specs a fiction https://www.hillelwayne.com/post/alloy-facts/ 1 comment
- Using Abstract Data Types in TLA+ • Hillel Wayne https://www.hillelwayne.com/post/tla-adt/ 0 comments
- How to argue for something without any scientific evidence • Buttondown https://buttondown.email/hillelwayne/archive/how-to-advocate-something-without-any-scientific/ 0 comments
- Paradigms succeed when you can strip them for parts • Buttondown https://buttondown.email/hillelwayne/archive/paradigms-succeed-when-you-can-scavenge-from/ 0 comments
- Composing TLA+ Specifications with State Machines https://www.hillelwayne.com/post/composing-tla/ 0 comments
- Modeling B-trees in TLA+ – Surfing Complexity https://surfingcomplexity.blog/2024/07/04/modeling-b-trees-in-tla/ 0 comments
- Linearizability! Refinement! Prophecy! – Surfing Complexity https://surfingcomplexity.blog/2024/09/22/linearizability-refinement-prophecy/ 0 comments
- How to argue for something without any scientific evidence • Buttondown https://buttondown.com/hillelwayne/archive/how-to-advocate-something-without-any-scientific/ 0 comments
Linked pages
- Home | seL4 https://sel4.systems 502 comments
- Why Specifications Don't Compose • Hillel Wayne https://www.hillelwayne.com/post/spec-composition/ 75 comments
- TLA+ Action Properties • Hillel Wayne https://www.hillelwayne.com/post/action-properties/ 36 comments
- Safety and Liveness Properties • Buttondown https://buttondown.email/hillelwayne/archive/safety-and-liveness-properties/ 0 comments
Related searches:
Search whole site: site:www.hillelwayne.com
Search title: Specification Refinement • Hillel Wayne
See how to search.