Skip to content

DiningPhilosophers: add a pure TLA+ spec that walks from broken solutions to a proved one - #237

Merged
lemmy merged 8 commits into
masterfrom
mku-dining
Oct 20, 2026
Merged

DiningPhilosophers: add a pure TLA+ spec that walks from broken solutions to a proved one#237
lemmy merged 8 commits into
masterfrom
mku-dining

DiningPhilosophers: prove starvation freedom with TLAPS

925e668
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar