Lobsters
- The Case for Models https://concerningquality.com/models/ 23 comments formalmethods , philosophy , testing
Linked pages
- GitHub - p-org/P: The P programming language. https://github.com/p-org/P 201 comments
- Learn TLA+ — Learn TLA+ https://learntla.com/ 176 comments
- http://alloytools.org/ 21 comments
- Just a Whole Bunch of Different Tests • Hillel Wayne https://www.hillelwayne.com/post/a-bunch-of-tests/ 7 comments
- Using lightweight formal methods to validate a key-value storage node in Amazon S3 - Amazon Science https://www.amazon.science/publications/using-lightweight-formal-methods-to-validate-a-key-value-storage-node-in-amazon-s3 1 comment
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:concerningquality.com
Search title: The Case for Models | Concerning Quality
See how to search.