Conferencia anual sobre 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 conocido 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 [1] y la reducción de orden parcial . [2] [3] A menudo se clasifica entre las principales 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 . Están en acceso abierto desde 2018. [6] [7] [8] El premio anual CAV se estableció en 2008. La lista de destinatarios y las citaciones se pueden consultar en https://i-cav.org/cav-award/.
Véase también
Referencias
- ^ Clarke, Edmund M. y col. (2000). "Refinamiento de abstracción guiado por contraejemplo". Verificación asistida por computadora . Apuntes de clase en 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 del estado". Verificación asistida por computadora . Apuntes de clase en informática. Vol. 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". Verificación asistida por computadora . Apuntes de clase en informática. Vol. 531. págs. 176–185. doi :10.1007/BFb0023731. ISBN 978-3-540-54477-7.
- ^ "Ranked Conference List (2010)". Consejo Australiano de Investigación . Archivado desde el original el 27 de febrero de 2012. Consultado el 3 de enero de 2012 .
- ^ "Top conferences in Software Engineering". Microsoft Academic Search . Archivado desde el original el 29 de junio de 2013. Consultado el 3 de enero de 2012 .
- ^ Chockler, Hana; Weissenbacher, Georg, eds. (2018). "Verificación asistida por computadora". Apuntes de clase en 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 clase en informática . doi :10.1007/978-3-319-63390-9. ISSN 0302-9743.
- ^ Enea, Constantin; Lal, Akash, eds. (2023). "Verificación asistida por computadora". Apuntes de clase en informática . doi : 10.1007/978-3-031-37703-7 . ISSN 0302-9743.
Enlaces externos
- Sitio web oficial
- Bibliografía para CAV en DBLP
- Actas de congresos
