Community

Blog Events Webinars Tutorials Forum
  1. Blog
  2. Events
  3. Webinars
  4. Tutorials
  5. Forum
Create Account
×
Temporal Logic of Actions

Formal Verification Tool TLA+: An Introduction from the Perspective of a Programmer

A programmer offers perspective and reintroduces TLA+ using his experiences.

Related Tags
artificial intelligence big data cloud computing