Hacker News
- Alloy is an open source language and analyzer for software modeling http://alloytools.org/ 21 comments
Linking pages
- The Hunt for the Missing Data Type https://www.hillelwayne.com/post/graph-types/ 373 comments
- Unusual basis types in programming languages • Buttondown https://buttondown.email/hillelwayne/archive/unusual-basis-types-in-programming-languages/ 92 comments
- What I've Learned About Formal Methods In Half a Year â Jakob's Personal Webpage https://jakob.space/blog/what-ive-learned-about-formal-methods.html 70 comments
- A gentle introduction to automated reasoning - Amazon Science https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning 51 comments
- The Case for Models | Concerning Quality https://concerningquality.com/models/ 23 comments
- Announcing: Alloydocs • Hillel Wayne https://www.hillelwayne.com/post/alloydocs/ 17 comments
- Modeling Git Internals in Alloy, Part 1: Blobs and Trees https://bytes.zone/posts/modeling-git-internals-in-alloy-part-1-blobs-and-trees/ 12 comments
- building-software.md · GitHub https://gist.github.com/serras/caf3b7056f609c63a028f15c47a3ff4e 11 comments
- Formally Specifying a Package Manager • Hillel Wayne https://www.hillelwayne.com/post/nix/ 9 comments
- Proving Games are Winnable with Alloy • Hillel Wayne https://www.hillelwayne.com/post/alloy-randomizer/ 8 comments
- TLA+ is easier than I thought http://beza1e1.tuxen.de/tla-plus.html 8 comments
- Introducing C4: the C Compiler Concurrency Checker – Wickopedia https://johnwickerson.wordpress.com/2021/06/09/c4/ 6 comments
- Formally Modeling Database Migrations • Hillel Wayne http://hillelwayne.com/post/formally-modeling-migrations/ 4 comments
- Reproducing a Memory-Tracking Bug with TLA+ | by Fuzz.AI | Medium https://medium.com/@fuzz_ai/reproducing-a-memory-tracking-bug-with-tla-35ce0652ce72 4 comments
- Solving Knights and Knaves with Alloy • Hillel Wayne https://www.hillelwayne.com/post/knights-knaves/ 4 comments
- Home | Software Design Group http://sdg.csail.mit.edu/ 4 comments
- Modeling Database Tables in Alloy https://bytes.zone/posts/modeling-database-tables-in-alloy/ 4 comments
- modeling CRDTs in Alloy - counters https://bytes.zone/posts/modeling-crdts-in-alloy-counters/ 4 comments
- Using Formal Methods at Work • Hillel Wayne https://www.hillelwayne.com/post/using-formal-methods/#fnref:nodes 3 comments
- Feature Interaction Bugs • Hillel Wayne https://www.hillelwayne.com/post/feature-interaction/ 2 comments
Related searches:
Search whole site: site:alloytools.org
Search title: Alloy is an open source language and analyzer for software modeling
See how to search.