The following pages link to TLA + Proofs (Q4647839):
Displaying 5 items.
- Improving automation for higher-order proof steps (Q831930) (← links)
- A deductive approach towards reasoning about algebraic transition systems (Q1666122) (← links)
- Certification of an exact worst-case self-stabilization time (Q2680867) (← links)
- A case study on parametric verification of failure detectors (Q5883746) (← links)
- Towards an automatic proof of the bakery algorithm (Q6535458) (← links)
