Cinco contribuciones de investigadores del Instituto IMDEA Software han sido aceptadas en la 25th International Conference on Computer Aided Verification (CAV), una de las más prestigiosas conferencias en el área de métodos formales.
El investigador de IMDEA Software Pierre Ganty contribuye con dos artículos, uno acerca de la terminación de programas, junto a Samir Genaim (Universidad Complutense de Madrid); y el otro sobre verificación parametrizada, junto a Javier Esparza (TUM Munich) y Rupak Majumdar (MPI-SWS).
Los investigadores de IMDEA Software Anindya Banerjee y Aleks Nanevski contribuyen con un artículo sobre razonamiento de alcance en listas enlazadas, junto a Shachar Itzhaky, Mooly Sagiv (Tel Aviv University) y Neil Immerman (UMass Amherst)
La investigadora de IMDEA Software Pavithra Prabhakar y su estudiante Miriam García contribuyen con un artículo sobre la estabilidad de los sistemas híbridos.
El investigador de IMDEA Software Benedikt Schmidt contribuye con un artículo basado en su herramienta de análisis simbólico de protocolos de seguridad, junto a Simon Meier, Cas Cremers y David Basin (ETH Zurich).
Estos cinco artículos forman parte de las 70 publicaciones escogidas de entre 209 contribuciones enviadas por investigadores de todo el mundo.
