1 Matching Annotations
  1. Jul 2020
  2. lamport.azurewebsites.net lamport.azurewebsites.net
    The TLA+ Home Page
    1
    1. gabeguz 28 Jul 2020
      TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones.

      Need to look more into TLA+ and formal verification with regards to software development.

      programming software TLA+ formal methods
    Visit annotations in context

    Tags

    Annotators

    URL

    lamport.azurewebsites.net/tla/tla.html