model checking

This note last modified February 18, 2021

---

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