Deductive Software Verification: Future Perspectives

"Verifica Software Deduttiva: Prospettive Future" è un libro specialistico pubblicato in occasione del 20° anniversario del progetto KeY, che si concentra sulla verifica software deduttiva. Negli ultimi due decenni, il campo della verifica deduttiva ha fatto notevoli progressi. Il supporto per linguaggi di programmazione reali da parte degli strumenti di verifica deduttiva è ormai ampiamente diffuso, portando con sé significative sfide teoriche e tecniche. Il libro raccoglie contributi di esperti riconosciuti che affrontano le ultime sfide in questo settore. Gli argomenti spaziano dallo sviluppo di strumenti a considerazioni di efficienza e usabilità, fino a metodi di specificazione e verifica innovativi. L'obiettivo è fornire ai lettori un'idea attuale dello stato dell'arte nella verifica deduttiva e ispirarli a impegnarsi attivamente in questo campo e a intraprendere collaborazioni.