Comment on TLA+: design, model, document, and verify concurrent systemsparentComments−gralx7yNo - first I've heard of it. Just looked at its Wikipedia page. Color me intrigued.... Thank you!
Comments
No - first I've heard of it. Just looked at its Wikipedia page. Color me intrigued.... Thank you!