Researchers at the IMDEA Software Institute have 5 papers accepted for publication at the 25th International Conference on Computer Aided Verification (CAV) which is one of the most prestigious conferences in the area of formal methods.

• IMDEA Software faculty Pierre Ganty has two papers, one on proving program termination with Samir Genaim (Universidad Complutense de Madrid), and the other on parameterized verification with Javier Esparza (TUM Munich) and Rupak Majumdar (MPI-SWS).

• IMDEA Software faculty Anindya Banerjee and Aleks Nanevski have a paper on reasoning about reachability in linked lists with Shachar Itzhaky, Mooly Sagiv (Tel Aviv University) and Neil Immerman (UMass Amherst).

• IMDEA Software faculty Pavithra Prabhakar and her student Miriam García have a paper on stability of hybrid systems; and

• IMDEA Software researcher Benedikt Schmidt has a tool paper on symbolic analysis of security protocols with Simon Meier, Cas Cremers and David Basin (ETH Zurich).

These 5 papers were among the 70 papers selected for publication at CAV out of 209 submission from around the world.