A proof rule for multi-threaded programs
64
Microsoft Research334 тыс
Следующее
17.08.16 – 2981:07:42Популярные
262 дня – 7626:15
359 дней – 1 71332:52Опубликовано 17 августа 2016, 21:23
A modular proof rule for the verification of temporal safety and liveness properties of multi-threaded programs, and how this rule can be transformed into an automatic method. Joint work with Ashutosh Gupta and Corneliu Popeea.
Свежие видео
8 дней – 2 5721:04
8 дней – 123 44015:39
179 дней – 205 2215:32Случайные видео
29.11.23 – 7 2610:49
24.11.23 – 6364:15
16.05.22 – 61 6317:17
03.01.07 – 66 5250:33
21 день – 2590:23
1 день – 3290:26
2 дня – 15 5729:22
2 дня – 2314:02
7 дней – 6581:01
7 дней – 260 5980:39
7 дней – 09:52
8 дней – 53114:09