Commit to marriage with TLA+ pt.2
The second part of the conspect of the "Intoduction to TLA+" course by Leslie Lamport.
Posts tagged "Model checking"
3 posts
Do not die hard with TLA+ pt.1
The first part of the conspect of the "Intoduction to TLA+" course by Leslie Lamport.
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.