- [Job] Haskell developer interested in formal methods (Berlin, no remote) https://github.com/advancedtelematic/quickcheck-state-machine 4 comments haskell
- [ANN] quickcheck-state-machine: Test monadic programs using state machine based models https://github.com/advancedtelematic/quickcheck-state-machine#readme 6 comments haskell
Linking pages
- GitHub - advancedtelematic/quickcheck-state-machine-distributed: Test monadic programs using state machine based models https://github.com/advancedtelematic/quickcheck-state-machine-distributed#readme 4 comments
- Conversations with weighted shoulders - Cautiously sniffling your UI https://mankykitty.github.io/posts/2020-02-22-cautiously-sniffle-properties.html 1 comment
Linked pages
- GitHub - proper-testing/proper: PropEr: a QuickCheck-inspired property-based testing tool for Erlang https://github.com/manopapad/proper 109 comments
- TLA+ Video Course https://lamport.azurewebsites.net/video/videos.html 28 comments
- Tower of Hanoi - Wikipedia http://en.wikipedia.org/wiki/tower_of_hanoi#four_pegs_and_beyond 28 comments
- Knossos: Redis and linearizability http://aphyr.com/posts/309-knossos-redis-and-linearizability 17 comments
- Strong consistency models https://aphyr.com/posts/313-strong-consistency-models 12 comments
- An in-depth look at &ampampampampampampampampampampampampampampampampampampampampampampampampampampampampampampampampLTtt>quickcheck-state-machine&ampampampampampampampampampampampampampampampampampampampampampampampampampampampampampampampampLT/tt> - Well-Typed: The Haskell Consultants http://www.well-typed.com/blog/2019/01/qsm-in-depth/ 9 comments
- The Water Jug Problem in Hedgehog - clrnd's http://clrnd.com.ar/posts/2017-04-21-the-water-jug-problem-in-hedgehog.html 7 comments
- John Hughes - Testing the Hard Stuff and Staying Sane - YouTube https://www.youtube.com/watch?v=zi0rHwfiX1Q 4 comments
- Property-Based Testing with PropEr, Erlang, and Elixir http://propertesting.com 3 comments
- http://publications.lib.chalmers.se/records/fulltext/232550/local_232550.pdf 1 comment
- Welcome to Hypothesis! — Hypothesis 6.56.3 documentation https://hypothesis.readthedocs.io/en/latest/index.html 0 comments
- Serializability, linearizability, and locality https://aphyr.com/posts/333-serializability-linearizability-and-locality 0 comments
- Event-B.org http://www.event-b.org/abook.html 0 comments
- ScalaCheck http://www.scalacheck.org 0 comments
- Computational techniques in Knossos http://aphyr.com/posts/314-computational-techniques-in-knossos 0 comments
- Linearizability - Wikipedia https://en.wikipedia.org/wiki/Linearizability 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:github.com
Search title: GitHub - advancedtelematic/quickcheck-state-machine: Test monadic programs using state machine based models
See how to search.