Model Checking TLA+ Specifications (1999)

by Y Yu, P Manolios, L Lamport
Venue:In Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME’99