Suchergebnisse - S. Fabunmi
- Treffer 1 - 2 von 2
-
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
Suchwerkzeuge:
Ähnliche Schlagworte
681.3
IPCL
UDC 004.415
composition-nominative languages
concurrent program
formal verification
interleaving
safety property proof
software correctness
УДК 004.415
доказательство частичной корректности
композиционно-номинативные языки
композиційно-номінативні мови
коректність програмного забезпечення
корректность программного обеспечения
параллельная программа
формальна верифікація
формальная верификация