Posts tagged formal methods
-
Simple Two-Phase Commit Exercise in Alloy 6 - 2022-09-21
- tags: alloy ; formal methods ; distributed systems
-
Wolf, Goat and Cabbage puzzle, in Coq - 2021-09-09
- tags: coq ; puzzles ; formal methods