- Solving the Water Jug Problem from Die Hard 3 with TLA+ and Hypothesis http://hypothesis.works/articles/how-not-to-die-hard-with-hypothesis/ 20 comments programming
Linking pages
Linked pages
- TLA+ - Wikipedia https://en.wikipedia.org/wiki/TLA%2B 92 comments
- TLA+ Video Course https://lamport.azurewebsites.net/video/videos.html 28 comments
- Solving the Water Jug Problem from Die Hard 3 with TLA+ and Hypothesis | Into the Light http://nchammas.com/writing/how-not-to-die-hard-with-hypothesis 5 comments
- Most testing is ineffective - Hypothesis https://hypothesis.works/ 3 comments
- Julia Evans http://jvns.ca/ 2 comments
- GitHub - HypothesisWorks/hypothesis: Hypothesis is a powerful, flexible, and easy to use library for property-based testing. https://github.com/HypothesisWorks/hypothesis-python 0 comments
Related searches:
Search whole site: site:hypothesis.works
Search title: Solving the Water Jug Problem from Die Hard 3 with TLA+ and Hypothesis - Hypothesis
See how to search.