A proof rule for multi-threaded programs
64
Microsoft Research330 тыс
Следующее
17.08.16 – 2981:07:42Популярные
209 дней – 9375:33Опубликовано 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.
Свежие видео
3 дня – 3542:11
8 дней – 174 58239:12
9 дней – 5591:13
12 дней – 141 35710:21
14 дней – 19 2320:55Случайные видео
321 день – 5403:49
05.11.22 – 254 06111:58
07.03.22 – 14 5451:36
28.11.20 – 15 2411:01
17.07.20 – 43 6365:06
13.06.17 – 36 26756:31
2 дня – 3780:35
3 дня – 2 58621:06
5 дней – 6 0261:00
6 дней – 3 8611:56
8 дней – 10 5280:15
11 дней – 5981:43
