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

Компьютерная проверка ( CAV ) - это ежегодная научная конференция по теории и практике компьютерного формального анализа программных и аппаратных систем. Это одна из самых престижных конференций по информатике. ^[1]^[2] Например, в CAV было опубликовано несколько важных методов проверки моделей , таких как « Уточнение абстракции на основе контрпримеров» ^[3] и методы редукции частичного порядка . ^[4]^[5]

Первая CAV была проведена в 1989 году в Гренобле , Франция .

Материалы CAV публикуются Springer Science + Business Media в открытом доступе .

См. Также [ править ]

В списке конференций по информатике есть и другие научные конференции по информатике.

Ссылки [ править ]

^ «Рейтинговый список конференций (2010)» . Австралийский исследовательский совет . Архивировано из оригинального 27 февраля 2012 года . Проверено 3 января 2012 года . CS1 maint: обескураженный параметр ( ссылка )
^ «Лучшие конференции по программной инженерии» . Microsoft Academic Search . Архивировано из оригинального 29 июня 2013 года . Проверено 3 января 2012 года . CS1 maint: обескураженный параметр ( ссылка )
^ Кларк, Эдмунд М .; и другие. (2000). Уточнение абстракции на основе контрпримеров . CAV . Конспект лекций по информатике. 1855 . С. 154–169. DOI : 10.1007 / 10722167_15 . ISBN 978-3-540-67770-3.
^ Valmari Антти (1990). Упорная атака на государственный взрыв . CAV . Конспект лекций по информатике. 531 . С. 156–165. DOI : 10.1007 / BFb0023729 . ISBN 978-3-540-54477-7.
^ Годфруа, Патрис (1990). Использование частичных заказов для улучшения методов автоматической проверки . CAV . Конспект лекций по информатике. 531 . С. 176–185. DOI : 10.1007 / BFb0023731 . ISBN 978-3-540-54477-7.

Внешние ссылки [ править ]

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

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

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

[1] «Рейтинговый список конференций (2010)» . Австралийский исследовательский совет . Архивировано из оригинального 27 февраля 2012 года . Проверено 3 января 2012 года . CS1 maint: обескураженный параметр ( ссылка )

[2] «Лучшие конференции по программной инженерии» . Microsoft Academic Search . Архивировано из оригинального 29 июня 2013 года . Проверено 3 января 2012 года . CS1 maint: обескураженный параметр ( ссылка )

[cegar-3] Кларк, Эдмунд М .; и другие. (2000). Уточнение абстракции на основе контрпримеров . CAV . Конспект лекций по информатике. 1855 . С. 154–169. DOI : 10.1007 / 10722167_15 . ISBN 978-3-540-67770-3.

[4] Valmari Антти (1990). Упорная атака на государственный взрыв . CAV . Конспект лекций по информатике. 531 . С. 156–165. DOI : 10.1007 / BFb0023729 . ISBN 978-3-540-54477-7.

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

[1]