Home

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