Компьютерная проверка - Computer Aided Verification
Компьютерная проверка (CAV) является ежегодным научная конференция по теории и практике компьютерного формального анализа программно-аппаратных комплексов. Это одна из самых престижных конференций по информатике.[1][2] Например, несколько важных проверка модели методы были опубликованы в CAV, например Уточнение абстракции на основе контрпримеров[3] и редукция частичного порядка методы.[4][5]
Первая CAV была проведена в 1989 г. в г. Гренобль, Франция.
Материалы CAV публикуются Springer Science + Business Media в качестве открытый доступ.
Смотрите также
- В список конференций по информатике содержит другие научные конференции по информатике.
Рекомендации
- ^ «Рейтинговый список конференций (2010 г.)». Австралийский исследовательский совет. Архивировано из оригинал 27 февраля 2012 г.. Получено 3 января 2012.
- ^ «Лучшие конференции по программной инженерии». Microsoft Academic Search. Архивировано из оригинал 29 июня 2013 г.. Получено 3 января 2012.
- ^ Кларк, Эдмунд М .; и другие. (2000). Уточнение абстракции на основе контрпримеров. CAV. Конспект лекций по информатике. 1855. С. 154–169. Дои:10.1007/10722167_15. ISBN 978-3-540-67770-3.
- ^ Валмари, Антти (1990). Упорная атака на государственный взрыв. CAV. Конспект лекций по информатике. 531. С. 156–165. Дои:10.1007 / BFb0023729. ISBN 978-3-540-54477-7.
- ^ Годфроид, Патрис (1990). Использование частичных заказов для улучшения методов автоматической проверки. CAV. Конспект лекций по информатике. 531. С. 176–185. Дои:10.1007 / BFb0023731. ISBN 978-3-540-54477-7.
внешняя ссылка
Этот Информатика статья - это заглушка. Вы можете помочь Википедии расширяя это. |
Эта статья о компьютерной конференции - заглушка. Вы можете помочь Википедии расширяя это. |