1,214 followers
"Specification and Verification with the TLA+ Trifecta: TLC, Apalache, and TLAPS" by @k0nn0v, @lemmster, Stephan Merz https://t.co/rDKYsYlsXY
"Specification and Verification with the TLA+ Trifecta: TLC, Apalache, and TLAPS" by @k0nn0v, @lemmster, Stephan Merz https://t.co/rDKYsYlsXY