Взаємне блокування: відмінності між версіями
| [неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Beta M (обговорення | внесок) пример |
|||
Рядок 99:
Відомі такі інструменти для роботи з клінчами в обчислювальних системах:
; witness : програма witness, що працює на
; SPIN : система для [[верифікація формальна|верифікації]] моделей [[Розподілені обчислення|розподілених систем]].<ref>http://www.spinroot.com/</ref>
| |||