TLA+: a high-level language for modeling programs and systemslamport.azurewebsites.net1 pointkvnhn5 years ago