Новости института


28 Марта, 2015
Защита диссертаций

28 мая 2015 года в 15:00 в Актовом зале ИСП РАН состоится защита кандидатских диссертаций в Диссертационном совете Д 002.087.01 при ИСП РАН.

05 Января, 2015
Защита диссертаций

05 марта 2015 года в 15:00 в Актовом зале ИСП РАН состоится защита кандидатских диссертаций в Диссертационном совете Д 002.087.01 при ИСП РАН.

12 Ноября, 2014
Доклад профессора Ассафа Шустера

13 ноября в 16:00 в аудитории 110 состоится семинар ИСП РАН. На семинаре выступит профессор Ассаф Шустер (Израильский технологический институт).

30 Сентября, 2014
Облачные вычисления. Образование. Исследования. Разработка 2014

Приглашаем вас принять участие в ежегодной международной конференции «Облачные вычисления: образование, исследования, разработки».

04 Сентября, 2014
Big Data Open Lab – лаборатория по продвижению технологий Big Data

Компания Dell совместно с Институтом системного программирования Российской академии наук (ИСП РАН) при содействии компании CompTek объявляют об открытии Big Data Open Lab — практического центра по продвижению и развитию технологий анализа сверхбольших данных в интересах российских организаций.

07 Августа, 2014
Конкурс на замещение должностей

Федеральное государственное бюджетное учреждение науки Институт системного программирования Российской академии наук (ИСП РАН) объявляет конкурс на замещение вакантных должностей.

15 Апреля, 2014
Защита диссертаций

15 мая 2014 года в 15.00 в Актовом зале ИСП РАН состоится защита кандидатских диссертаций в Диссертационном совете Д 002.087.01 при ИСП РАН.

10 Февраля, 2014
20-летие ИСП РАН

24 января 2014 года состоялось торжество по случаю 20-летия Института системного программирования Российской академии наук.

18 Декабря, 2012
Программная инженерия

На сайте доступны для скачивания учебники и монографии по программной инженерии от профессора Липаева В.В.


Precision reuse for efficient regression verification.
Continuous testing during development is a well-established technique for software-quality assurance. Continuous model checking from revision to revision is not yet established as a standard practice, because the enormous resource consumption makes its application impractical. Model checkers compute a large number of verification facts that are necessary for verifying if a given specification holds. We have identified a category of such intermediate results that are easy to store and efficient to reuse: abstraction precisions. The precision of an abstract domain specifies the level of abstraction that the analysis works on. Precisions are thus a precious result of the verification effort and it is a waste of resources to throw them away after each verification run. In particular, precisions are reasonably small and thus easy to store; they are easy to process and have a large impact on resource consumption. We experimentally show the impact of precision reuse on industrial verification problems created from 62 Linux kernel device drivers with 1119 revisions.