Компьютерная проверка

Ежегодная конференция по информатике

В информатике Международная конференция по компьютерной верификации ( CAV ) — ежегодная академическая конференция по теории и практике автоматизированного формального анализа программных и аппаратных систем, широко известных как формальные методы . Среди важных результатов, первоначально опубликованных в CAV, есть методы проверки моделей , такие как контрпример-ориентированное уточнение абстракций ^[1] и частичное сокращение порядка . ^[2]^[3] Она часто входит в число ведущих конференций по информатике. ^[4]^[5]

Первая премия CAV была проведена в 1989 году в Гренобле , Франция . Труды CAV (с 1989 года по настоящее время) публикуются Springer Science+Business Media . Они находятся в открытом доступе с 2018 года. ^[6]^[7]^[8] Ежегодная премия CAV была учреждена в 2008 году. Список лауреатов и цитат можно найти по адресу https://i-cav.org/cav-award/.

Смотрите также

Ссылки

^ Кларк, Эдмунд М.; и др. (2000). "Уточнение абстракции с помощью контрпримера". Computer Aided Verification . Lecture Notes in Computer Science. Vol. 1855. pp. 154– 169. doi :10.1007/10722167_15. ISBN 978-3-540-67770-3.
^ Валмари, Антти (1990). «Упорная атака на государственный взрыв». Computer-Aided Verification . Lecture Notes in Computer Science. Vol. 531. pp. 156– 165. doi :10.1007/BFb0023729. ISBN 978-3-540-54477-7.
^ Годфруа, Патрис (1990). «Использование частичных порядков для улучшения методов автоматической проверки». Компьютерная проверка . Конспект лекций по информатике. Том 531. С. 176–185 . doi :10.1007/BFb0023731. ISBN 978-3-540-54477-7.
^ "Список ранжированных конференций (2010)". Australian Research Council . Архивировано из оригинала 27 февраля 2012 года . Получено 3 января 2012 года .
^ "Лучшие конференции по программной инженерии". Microsoft Academic Search . Архивировано из оригинала 29 июня 2013 г. Получено 3 января 2012 г.
^ Чоклер, Хана; Вайссенбахер, Георг, ред. (2018). «Компьютерная верификация». Конспект лекций по информатике . doi :10.1007/978-3-319-96142-2. ISSN 0302-9743.
^ Маджумдар, Рупак; Кунчак, Виктор, ред. (2017). «Компьютерная верификация». Конспект лекций по информатике . doi :10.1007/978-3-319-63390-9. ISSN 0302-9743.
^ Энеа, Константин; Лал, Акаш, ред. (2023). «Компьютерная верификация». Конспект лекций по информатике . doi : 10.1007/978-3-031-37703-7 . ISSN 0302-9743.

Внешние ссылки

Официальный сайт
библиография для CAV в DBLP
Труды конференции

Эта статья по информатике — заглушка . Вы можете помочь Википедии, расширив ее.

Эта статья о компьютерной конференции — заглушка . Вы можете помочь Википедии, расширив ее.

[cegar-1] Кларк, Эдмунд М.; и др. (2000). "Уточнение абстракции с помощью контрпримера". Computer Aided Verification . Lecture Notes in Computer Science. Vol. 1855. pp. 154– 169. doi :10.1007/10722167_15. ISBN 978-3-540-67770-3.

[2] Валмари, Антти (1990). «Упорная атака на государственный взрыв». Computer-Aided Verification . Lecture Notes in Computer Science. Vol. 531. pp. 156– 165. doi :10.1007/BFb0023729. ISBN 978-3-540-54477-7.

[3] Годфруа, Патрис (1990). «Использование частичных порядков для улучшения методов автоматической проверки». Компьютерная проверка . Конспект лекций по информатике. Том 531. С. 176–185 . doi :10.1007/BFb0023731. ISBN 978-3-540-54477-7.

[4] "Список ранжированных конференций (2010)". Australian Research Council . Архивировано из оригинала 27 февраля 2012 года . Получено 3 января 2012 года .

[5] "Лучшие конференции по программной инженерии". Microsoft Academic Search . Архивировано из оригинала 29 июня 2013 г. Получено 3 января 2012 г.

[2018Proceedings-6] Чоклер, Хана; Вайссенбахер, Георг, ред. (2018). «Компьютерная верификация». Конспект лекций по информатике . doi :10.1007/978-3-319-96142-2. ISSN 0302-9743.

[2017Proceedings-7] Маджумдар, Рупак; Кунчак, Виктор, ред. (2017). «Компьютерная верификация». Конспект лекций по информатике . doi :10.1007/978-3-319-63390-9. ISSN 0302-9743.

[2023Proceedings-8] Энеа, Константин; Лал, Акаш, ред. (2023). «Компьютерная верификация». Конспект лекций по информатике . doi : 10.1007/978-3-031-37703-7 . ISSN 0302-9743.