Posts tagged alloy

• Simple Two-Phase Commit Exercise in Alloy 6 - 2022-09-21
  • tags: alloy ; formal methods ; distributed systems