Компьютерная проверка
В области информатики Международная конференция по компьютерной верификации ( CAV ) — ежегодная научная конференция , посвященная теории и практике компьютерного формального анализа программных и аппаратных систем, широко известных как формальные методы . Среди важных результатов, первоначально опубликованных в CAV, — методы проверки моделей , такие как уточнение абстракции на основе контрпримеров (CEGAR). [1] и частичное сокращение заказа . [2] [3] Ее часто включают в число лучших конференций по информатике. [4] [5]
Первый CAV состоялся в 1989 году в Гренобле , Франция . Материалы CAV (с 1989 г. по настоящее время) публикуются издательством Springer Science+Business Media . Доступ к ним открыт с 2018 года. [6] [7] [8]
См. также
[ редактировать ]- Список конференций по информатике
- Симпозиум по логике в информатике
- Европейские совместные конференции по теории и практике программного обеспечения
Ссылки
[ редактировать ]- ^ Кларк, Эдмунд М.; и др. (2000). «Уточнение абстракции на основе контрпримеров». Компьютерная проверка . Конспекты лекций по информатике. Том. 1855. стр. 154–169. дои : 10.1007/10722167_15 . ISBN 978-3-540-67770-3 .
- ^ Валмари, Антти (1990). «Упрямая атака на государственный взрыв». Компьютерная проверка . Конспекты лекций по информатике. Том. 531. С. 156–165. дои : 10.1007/BFb0023729 . ISBN 978-3-540-54477-7 .
- ^ Годфруа, Патрис (1990). «Использование частичных заказов для улучшения методов автоматической проверки». Компьютерная проверка . Конспекты лекций по информатике. Том. 531. стр. 176–185. дои : 10.1007/BFb0023731 . ISBN 978-3-540-54477-7 .
- ^ «Рейтинговый список конференций (2010)» . Австралийский исследовательский совет . Архивировано из оригинала 27 февраля 2012 года . Проверено 3 января 2012 г.
- ^ «Топовые конференции по программной инженерии» . Академический поиск Microsoft . Архивировано из оригинала 29 июня 2013 года . Проверено 3 января 2012 г.
- ^ Чоклер, Хана; Вайсенбахер, Георг, ред. (2018). «Компьютерная проверка» . Конспекты лекций по информатике . дои : 10.1007/978-3-319-96142-2 . ISSN 0302-9743 .
- ^ Маджумдар, Рупак; Кунчак, Виктор, ред. (2017). «Компьютерная проверка» . Конспекты лекций по информатике . дои : 10.1007/978-3-319-63390-9 . ISSN 0302-9743 .
- ^ Энея, Константин; Лал, Акаш, ред. (2023). «Компьютерная проверка» . Конспекты лекций по информатике . дои : 10.1007/978-3-031-37703-7 . ISSN 0302-9743 .
Внешние ссылки
[ редактировать ]
| Международный | |
|---|---|
| Национальный | |
 | Эта по информатике статья незавершена . Вы можете помочь Википедии, расширив ее . |