SMT-based verification of program changes through summary repair

This article provides an innovative approach for verification by model checking of programs that undergo continuous changes. To tackle the problem of repeating the entire model checking for each new version of the program, our approach verifies programs incrementally. It reuses computational history...

Descripción completa

Detalles Bibliográficos
Autores principales: Asadi, Sepideh, Blicha, Martin, Hyvärinen, Antti E. J., Fedyukovich, Grigory, Sharygina, Natasha
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Springer US 2023
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10564826/
https://www.ncbi.nlm.nih.gov/pubmed/37829793
http://dx.doi.org/10.1007/s10703-023-00423-0

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10564826/
https://www.ncbi.nlm.nih.gov/pubmed/37829793
http://dx.doi.org/10.1007/s10703-023-00423-0

Ejemplares similares