Hispanopedia WikiEn 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 la clasifica entre las mejores conferencias en informática. [ 4 ] [ 5 ]
La primera conferencia CAV se celebró en 1989 en Grenoble , Francia . Las actas de la CAV (1989-presente) son publicadas por Springer Science+Business Media . Son de acceso abierto desde 2018. [ 6 ] [ 7 ] [ 8 ] El premio anual CAV se estableció en 2008. La lista de galardonados y las citas se pueden encontrar en https://i-cav.org/cav-award/ .
Véase también
Referencias
- ↑ Clarke, Edmund M .; et al. (2000). "Refinamiento de abstracción guiado por contraejemplos". Verificación asistida por computadora . Notas de clase en ciencias de la computación. Vol. 1855. pp. 154–169 . doi : 10.1007/10722167_15 . ISBN 978-3-540-67770-3.
- ↑ Valmari, Antti (1990). "Un ataque persistente contra la explosión de estados". Verificación asistida por computadora . Notas de clase en ciencias de la computación. 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 ordenador . Notas de clase en 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 del original el 27 de febrero de 2012. Consultado el 3 de enero de 2012 .
- ↑ "Principales conferencias en ingeniería de software" . Búsqueda académica de Microsoft . Consultado el 3 de enero de 2012 .
{{cite web}}: CS1 maint: servicio de archivado obsoleto ( enlace ) - ↑ Chockler, Hana; Weissenbacher, Georg, eds. (2018). Verificación asistida por computadora . Lecture Notes in Computer Science. Vol. 10982. doi : 10.1007/978-3-319-96142-2 . ISBN 978-3-319-96141-5ISSN 0302-9743
- ↑ Majumdar, Rupak; Kunčak, Viktor, eds. (2017). Verificación asistida por computadora . Lecture Notes in Computer Science. Vol. 10427. doi : 10.1007/978-3-319-63390-9 . ISBN 978-3-319-63389-3ISSN 0302-9743
- ↑ Enea, Constantin; Lal, Akash, eds. (2023). Verificación asistida por computadora . Lecture Notes in Computer Science. Vol. 13965. doi : 10.1007/978-3-031-37703-7 . ISBN 978-3-031-37702-0ISSN 0302-9743
Enlaces externos
- Sitio web oficial
- Bibliografía de CAV en DBLP
- Actas de la conferencia
- Conferencias de informática teórica
- Conferencias de lógica
- esbozos de informática
- Talones de conferencias informáticas
![[icono]](https://upload.wikimedia.org/wikipedia/commons/thumb/1/1c/Wiki_letter_w_cropped.svg/500px-Wiki_letter_w_cropped.svg.png)
