The Practice of Standards Formalization
71
Microsoft Research331 тыс
Следующее
17.08.16 – 41143:37Популярные
14.10.22 – 31826:39
08.02.22 – 2511:23Опубликовано 17 августа 2016, 20:43
The talk presents work of the Institute for System Programming on applications of formal methods into practical software engineering. It considres applications of model based testing to Linux Standard Base, Linux driver verification, test development for mathematical libraries, some works in compiler testing.
Свежие видео
21 час – 48620:00
5 дней – 1671:03
6 дней – 130 3956:47
Случайные видео
328 дней – 4541:53
15.03.23 – 2 7330:13
06.06.22 – 1 9776:25
18.05.22 – 2 4706:07
28.10.20 – 227 29312:31
14.03.16 – 31 7441:03
4 дня – 8310:23
7 дней – 4 2150:37
7 дней – 4444:57
11 дней – 52 86019:28
11 дней – 5 81438:59
14 дней – 7250:42
15 дней – 42 9921:14