Linking pages
- 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
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.