model checking

This note last modified September 1, 2024

---

a way to see if any thread schedules cause race conditions or starvation