Modeling both types of schedulers allows us to compare the behavior of the system under different conditions | Моделирование обоих типов планировщиков позволяет нам сравнить поведение системы в различных условиях (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |