When Can Formal Methods Make a Real Difference?
72
Microsoft Research330 тыс
Следующее
06.09.16 – 331:21:46Популярные
307 дней – 16522:21
01.12.22 – 41622:26Опубликовано 6 сентября 2016, 5:11
This talk will consider a few cases from the ACM Risks Forum archives (risks.org) for which the sensible use of formal methods could have made a decisive difference in avoiding serious consequences -- with respect to requirements, specifications, human interfaces, implementation, and even operation, typically in systems that were supposedly safe, reliable, or secure. This will provide a view to the future in terms of things we can learn about the past.
Свежие видео
4 дня – 85 2891:00
4 дня – 5230:58
5 дней – 4383:31
6 дней – 3 3602:23
10 дней – 1 088 7960:58
Случайные видео
104 дня – 42 98012:36
22.07.23 – 87 9910:43
19.12.22 – 2 066 2141:28
31.10.22 – 324 5827:31
16.05.22 – 60 5297:17
27.10.16 – 20 7482:32
6 дней – 6881:32
7 дней – 1 9550:56
7 дней – 80 7320:15
13 дней – 1 021 3190:30
14 дней – 143 10313:42
19 дней – 7081:06
21 день – 9240:52