Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds
Source:
Faculty of Engineering Science,Volume: Doctor of Engineering Science (PhD): Computer Science,
(2024)
Publisher:
KU Leuven1
Views
Information & Security: An International Journal
28,
no. 2
(2012):
223-235.