 |
| |||
| исключение конфигураций (метод доказательства таких свойств безопасности, как, напр., взаимное исключение и отсутствие взаимной блокировки. Процесс P1 не может находиться в состоянии, удовлетворяющем условию A1, одновременно с пребыванием процесса P2 в состоянии, удовлетворяющем условию A2, если (A1 ˄ A2) = = false ssn) | |||