TechFest - Applications of Automated Reasoning
1 539
27
Microsoft Research330 тыс
Следующее
06.09.16 – 75048:01Популярные
16 дней – 3983:15
218 дней – 1 5211:07:34Опубликовано 6 сентября 2016, 21:25
Several recent and fundamental advances have greatly increased the power of automated reasoning tools. Using these advances, Microsoft developed software such as Static Driver Verifier for finding bugs in device drivers. But automated reasoning libraries can be used in contexts beyond bug-finding. Examples include configuration management, scheduling, compilation, and other mathematics-based applications. In this talk I will provide information on the automated reasoning libraries that are currently available and describe how developers can use them to solve a wide variety of problems that require reasoning. I will also outline the projects within MSR to develop automated reasoning tools.
Свежие видео
4 дня – 1683:43
7 дней – 96 97211:51
Случайные видео
217 дней – 151 5340:13
08.08.23 – 45 8930:22
06.06.23 – 32 8861:53
14.11.22 – 26 3660:53
20.10.20 – 4 578 0758:56
14.05.12 – 10 1427:02
1 день – 77 81324:01
3 дня – 4 0391:43:16
5 дней – 16 2420:22
11 дней – 141 04110:21
16 дней – 2560:16
