Search Results - "software total correctness"
Suggested Topics within your search.
Suggested Topics within your search.
- IPCL 1
- Peterson’s algorithm 1
- UDC 004.415.52 1
- composition-nominative languages 1
- concurrent program 1
- formal verification 1
- interleaving 1
- liveness property 1
- mutual exclusion 1
- software total correctness 1
- УДК 004.415.52 1
- алгоритм Петерсона 1
- алгоритм Пітерсона 1
- взаимное исключение 1
- взаємне виключення 1
- композиционно-номинативные языки 1
- композиційно-номінативні мови 1
- паралельна програма 1
- параллельная программа 1
- тотальна коректність програм 1
- тотальная корректность программ 1
- формальна верифікація 1
- формальная верификация 1
-
1