Model checking TLA+ specifications (1999)

by Yuan Yu , Panagiotis Manolios , Leslie Lamport
Venue:Correct Hardware Design and Verification Methods
Citations:38 - 5 self