Deductive Software Verification: Future Perspectives

"Vérification logicielle déductive : Perspectives futures" est un ouvrage spécialisé publié à l'occasion du 20e anniversaire du projet KeY, qui se concentre sur la vérification logicielle déductive. Au cours des deux dernières décennies, le domaine de la vérification déductive a considérablement évolué. Le soutien des langages de programmation réels par les outils de vérification déductive est désormais largement répandu, ce qui a entraîné d'importants défis théoriques et techniques. Le livre rassemble des contributions d'experts reconnus qui abordent les derniers défis dans ce domaine. Les sujets vont du développement d'outils aux considérations d'efficacité et de convivialité, en passant par des méthodes de spécification et de vérification novatrices. L'objectif est de donner aux lecteurs une idée actuelle de l'état de l'art en matière de vérification déductive et de les inspirer à s'engager activement dans ce domaine et à établir des collaborations.