Commit to marriage with TLA+ pt.2
The second part of the conspect of the “Intoduction to TLA+” course by Leslie Lamport.
TLA+
Do not die hard with TLA+ pt.1
The first part of the conspect of the “Intoduction to TLA+” course by Leslie Lamport.
The second part of the conspect of the “Intoduction to TLA+” course by Leslie Lamport.
The first part of the conspect of the “Intoduction to TLA+” course by Leslie Lamport.