Static Coverage in Deductive Software Verification

Tomb, Aaron; Joshi, Anjali

doi:10.34727/2025/isbn.978-3-85448-084-6_32

Record link:

http://hdl.handle.net/20.500.12708/219562
https://doi.org/10.34727/2025/isbn.978-3-85448-084-6_32

Title:

Static Coverage in Deductive Software Verification

Citation:

Tomb, A., & Joshi, A. (2025). Static Coverage in Deductive Software Verification. In A. Irfan & D. Kaufmann (Eds.), Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025 (pp. 251–261). TU Wien Academic Press. https://doi.org/10.34727/2025/isbn.978-3-85448-084-6_32

reposiTUm DOI:

10.34727/2025/isbn.978-3-85448-084-6_32

CatalogPlus:

AC17653262

Publication Type:

Inproceedings - Full-Paper Contribution

Language:

English

Authors:

Tomb, Aaron
Joshi, Anjali

Editors:

Irfan, Ahmed
Kaufmann, Daniela