All Tags
Posts tagged alloy
- Simple Two-Phase Commit Exercise in Alloy 6 - 2022-09-21
Posts tagged callcc
- Using callCC to abort an infinite loop - 2021-10-09
Posts tagged concurrency
- Stateful Parallel Property Testing Example in Elixir - 2022-08-15
Posts tagged continuations
- Using callCC to abort an infinite loop - 2021-10-09
Posts tagged coq
- Wolf, Goat and Cabbage puzzle, in Coq - 2021-09-09
Posts tagged delimited continuations
- Delimited Continuations with shift/reset in Elixir - 2021-08-27
Posts tagged distributed systems
- Simple Two-Phase Commit Exercise in Alloy 6 - 2022-09-21
Posts tagged elixir
- Delimited Continuations with shift/reset in Elixir - 2021-08-27
- Stateful Parallel Property Testing Example in Elixir - 2022-08-15
Posts tagged formal methods
- Wolf, Goat and Cabbage puzzle, in Coq - 2021-09-09
- Simple Two-Phase Commit Exercise in Alloy 6 - 2022-09-21
Posts tagged haskell
- Optimizing meal allowance card usage using SBV - 2021-04-18
- Using callCC to abort an infinite loop - 2021-10-09
Posts tagged proof of concept
- Delimited Continuations with shift/reset in Elixir - 2021-08-27
Posts tagged puzzles
- Wolf, Goat and Cabbage puzzle, in Coq - 2021-09-09
Posts tagged sbv
- Optimizing meal allowance card usage using SBV - 2021-04-18
Posts tagged smt solvers
- Optimizing meal allowance card usage using SBV - 2021-04-18
Posts tagged stateful property based testing
- Stateful Parallel Property Testing Example in Elixir - 2022-08-15