Verificación asistida por computadora ( CAV ) es una conferencia académica anual sobre la teoría y la práctica del análisis formal asistido por computadora de sistemas de software y hardware. Es una de las conferencias mejor clasificadas en informática. [1] [2] Por ejemplo, varias técnicas importantes de verificación de modelos se publicaron en CAV, como Refinamiento de abstracción guiado por contraejemplos [3] y métodos de reducción de orden parcial . [4] [5]
El primer CAV se celebró en 1989 en Grenoble , Francia .
Las actas de CAV son publicadas por Springer Science + Business Media como acceso abierto .
Ver también
- La lista de conferencias de informática contiene otras conferencias académicas en informática.
Referencias
- ^ "Lista de conferencias clasificadas (2010)" . Consejo Australiano de Investigaciones . Archivado desde el original el 27 de febrero de 2012 . Consultado el 3 de enero de 2012 .
- ^ "Top conferencias en Ingeniería de Software" . Búsqueda académica de Microsoft . Archivado desde el original el 29 de junio de 2013 . Consultado el 3 de enero de 2012 .
- ^ Clarke, Edmund M .; et al. (2000). Refinamiento de abstracción guiado por contraejemplos . CAV . Apuntes de conferencias en Ciencias de la Computación. 1855 . págs. 154-169. doi : 10.1007 / 10722167_15 . ISBN 978-3-540-67770-3.
- ^ Valmari, Antti (1990). Un obstinado ataque a la explosión estatal . CAV . Apuntes de conferencias en Ciencias de la Computación. 531 . págs. 156-165. doi : 10.1007 / BFb0023729 . ISBN 978-3-540-54477-7.
- ^ Godefroid, Patrice (1990). Uso de órdenes parciales para mejorar los métodos de verificación automática . CAV . Apuntes de conferencias en Ciencias de la Computación. 531 . págs. 176-185. doi : 10.1007 / BFb0023731 . ISBN 978-3-540-54477-7.