Hacker News
Lobsters
- Alloy 6 https://alloytools.org/alloy6.html 4 comments formalmethods , release
Linking pages
- GitHub - AlloyTools/org.alloytools.alloy: Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool. https://github.com/AlloyTools/org.alloytools.alloy 22 comments
- A primer on formal verification and TLA+ — Jack Vanlightly https://jack-vanlightly.com/blog/2023/10/10/a-primer-on-formal-verification-and-tla 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.