Deductive Verification as an Alternative to Push-Button Technologies
In this paper, the deductive verification approach is compared with other formal verification techniques, emphasizing the importance of correctness certificates in the verification process.