 |
| Russian | English |
| параллельная логика разделения | concurrent separation logic (версия логики, применимая для верификации параллельных вычислений с общей памятью Alex_Odeychuk) |
| с разделением логики | shared-logic (Alex_Odeychuk) |
|
| Russian | English |
| параллельная логика разделения | concurrent separation logic (версия логики, применимая для верификации параллельных вычислений с общей памятью Alex_Odeychuk) |
| с разделением логики | shared-logic (Alex_Odeychuk) |