Congreso anual de informática.
En informática , la Conferencia Internacional sobre 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 , ampliamente conocidos como métodos formales . Entre los resultados importantes publicados originalmente en CAV se encuentran técnicas de verificación de modelos , como el refinamiento de abstracción guiado por contraejemplos (CEGAR) [1] y la reducción de orden parcial . [2] [3] A menudo se clasifica entre las mejores conferencias en informática. [4] [5]
El primer CAV se celebró en 1989 en Grenoble , Francia . Las actas del CAV (1989-presente) son publicadas por Springer Science+Business Media . Son de acceso abierto desde 2018. [6] [7] [8]
Ver también
Referencias
- ^ Clarke, Edmund M.; et al. (2000). "Refinamiento de la abstracción guiada por contraejemplos". Verificación asistida por computadora . Apuntes de conferencias sobre informática. vol. 1855, págs. 154-169. doi :10.1007/10722167_15. ISBN 978-3-540-67770-3.
- ^ Valmari, Antti (1990). "Un ataque obstinado a la explosión estatal". Verificación asistida por computadora . Apuntes de conferencias sobre informática. vol. 531, págs. 156-165. doi :10.1007/BFb0023729. ISBN 978-3-540-54477-7.
- ^ Godefroid, Patrice (1990). "Uso de pedidos parciales para mejorar los métodos de verificación automática". Verificación asistida por computadora . Apuntes de conferencias sobre informática. vol. 531, págs. 176–185. doi :10.1007/BFb0023731. ISBN 978-3-540-54477-7.
- ^ "Lista de conferencias clasificadas (2010)". Consejo Australiano de Investigación . Archivado desde el original el 27 de febrero de 2012 . Consultado el 3 de enero de 2012 .
- ^ "Top congresos 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 .
- ^ Chocker, Hana; Weissenbacher, Georg, eds. (2018). "Verificación asistida por computadora". Apuntes de conferencias sobre informática . doi :10.1007/978-3-319-96142-2. ISSN 0302-9743.
- ^ Majumdar, Rupak; Kunčak, Viktor, eds. (2017). "Verificación asistida por computadora". Apuntes de conferencias sobre informática . doi :10.1007/978-3-319-63390-9. ISSN 0302-9743.
- ^ Enea, Constantino; Lal, Akash, eds. (2023). "Verificación asistida por computadora". Apuntes de conferencias sobre informática . doi : 10.1007/978-3-031-37703-7 . ISSN 0302-9743.
enlaces externos
- Página web oficial
- bibliografía para CAV en DBLP
- Actas de congresos
