Review deterministic schedulers using conservation, capacity, deadline, and ordering properties.
Inspect a deterministic scheduler for correctness properties using code review and test analysis. Covers purity, conservation, capacity, deadline compliance, ordering, and determinism.
