Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds
Source:
arXiv:2403.00934,(2024)
2
Views
Information & Security: An International Journal
28,
no. 2
(2012):
223-235.
Peer-reviewed open-access journal
published since 1998 by Procon Ltd.
2
Views
Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds
How to cite:
"Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds"
arXiv:2403.00934,
,
(2024):