Resources and Tools

  

Lecture 3

This web page was written on:
  30 August 2021

The video was produced on:
   7 April 2017

Contents

  • Prologue
  • TLA+ Resources
  • Downloading the Toolbox
  • Creating a Spec
  • The Pretty-Printer
  • Running TLC
  • The TLA+ Proof System
  • The Unicode Option
  • Help!
  • Epilogue