23.04.2018: CPAchecker-BAM-BnB и CPAchecker-BAM-Slicing на SV-COMP'2018

Опубликовано Vadim Mutilin в ВС, 22/04/2018 - 21:00

На международных соревнованиях инструментов статической верификации (SV-COMP 2018), проходивших в рамках международной конференции TACAS, Салоники, Греция, были представлены доклады по инструментам CPAchecker-BAM-BnB и CPAchecker-BAM-Slicing. В этом году наш инструмент CPAchecker-BAM-BnB завоевал золотую медаль, а CPAchecker-BAM-Slicing завоевал бронзовую медаль в категории Software Systems.

Полные результаты соревнований SV-COMP 2018 доступны здесь: https://sv-comp.sosy-lab.org/2018/results/results-verified. В таблицах представлены победители в различных категориях, а также можно посмотреть насколько успешно различные инструменты решали задачи в подкатегориях, результаты на которых порой сильно отличаются.

Особую благодарность мы выражаем Дирку Бейеру (Dirk Beyer) и Томасу Войнару (Tomas Vojnar), которые приложили много усилий для организации соревнований. Благодарим Дирка за регулярные предварительные запуски инструментов, которые помогали их улучшать для финального запуска. Также благодарим сообщество CPAchecker за вклад в развитие платформы, на которой мы основываемся.