WikiDer > Компьютер көмегімен тексеру
Computer Aided Verification
Компьютер көмегімен тексеру (CAV) жылдық болып табылады академиялық конференция бағдарламалық және аппараттық жүйелерді компьютерлік формальды талдаудың теориясы мен практикасы туралы. Бұл информатикадағы ең жоғары конференциялардың бірі.[1][2] Мысалы, бірнеше маңызды модельді тексеру сияқты CAV-да техникалар жарияланды Қарама-мысалға негізделген абстракцияны нақтылау[3] және тапсырыстың ішінара қысқартылуы әдістер.[4][5]
Бірінші CAV 1989 жылы өткізілді Гренобль, Франция.
CAV процедураларын жариялаушы Springer Science + Business Media сияқты ашық қол жетімділік.
Сондай-ақ қараңыз
- The информатика конференциясының тізімі информатика бойынша басқа академиялық конференциялардан тұрады.
Әдебиеттер тізімі
- ^ «Рейтингтік конференция тізімі (2010)». Австралиялық зерттеу кеңесі. Архивтелген түпнұсқа 2012 жылғы 27 ақпанда. Алынған 3 қаңтар 2012.
- ^ «Бағдарламалық жасақтама саласындағы үздік конференциялар». Microsoft Academic Search. Архивтелген түпнұсқа 2013 жылғы 29 маусымда. Алынған 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.
- ^ Godefroid, Патрис (1990). Автоматты түрде тексеру әдістерін жақсарту үшін ішінара тапсырыстарды қолдану. CAV. Информатика пәнінен дәрістер. 531. 176–185 бб. дои:10.1007 / BFb0023731. ISBN 978-3-540-54477-7.
Сыртқы сілтемелер
 | Бұл Информатика мақала бұта. Сіз Уикипедияға көмектесе аласыз оны кеңейту. |
| Компьютерлік конференция туралы бұл мақала а бұта. Сіз Уикипедияға көмектесе аласыз оны кеңейту. |