Tool Support for Proof Engineering
17
Microsoft Research330 тыс
Следующее
07.09.16 – 15059:17Популярные
306 дней – 26215:58
07.12.22 – 17429:35Опубликовано 7 сентября 2016, 16:23
Modern integrated development environments (IDEs) provide programmers with a variety of sophisticated tools for program visualization and manipulation.  These tools assist the programmer in understanding legacy code and making coordinated changes across large parts of a program.  Similar tools incorporated into an integrated proof environment (IPE) would assist proof developers in understanding and manipulating the increasingly larger proofs that are being developed.  In this talk, we propose some tools and techniques developed for software engineering that we believe would be equally applicable in proof engineering. 
Свежие видео
4 дня – 2987:57
10 дней – 221 8987:26
11 дней – 6600:23
11 дней – 9380:31
11 дней – 6950:41
217 дней – 5 0190:26Случайные видео
347 дней – 247 4170:56
11.09.23 – 6020:08
28.08.23 – 88 1720:39
12.05.20 – 82 82335:14
14.07.11 – 5 0730:39
12 дней – 101 21923:00
6 дней – 1 17955:28
7 дней – 25 3937:07
9 дней – 576 7202:44:24
9 дней – 1 9331:00
10 дней – 2679:53
11 дней – 9300:34
11 дней – 62 16220:25
4 дня – 5700:45