Suchergebnisse - S. Fabunmi
- Treffer 1 - 3 von 3
-
1
Equivalence of two parallel execution systems von T. V. Panchenko, S. Fabunmi
Veröffentlicht 2018Volltext
Artikel -
2
Equivalence of two parallel execution systems von Panchenko, T.V., Fabunmi, S.
Veröffentlicht 2018Volltext
Artikel -
3
Еквівалентність двох систем паралельного виконання von Панченко, Т.В., Fabunmi Sunmade
Veröffentlicht in Проблеми програмування (2018)Volltext
Artikel
Suchwerkzeuge:
Ähnliche Schlagworte
681.3
IPCL
UDC 004.415
composition-nominative languages
concurrent program
formal verification
interleaving
safety property proof
software correctness
Паралельне програмування. Розподілені системи і мережі
УДК 004.415
доказательство частичной корректности
композиционно-номинативные языки
композиційно-номінативні мови
коректність програмного забезпечення
корректность программного обеспечения
параллельная программа
формальна верифікація
формальная верификация