Summary
This repository contains TLA model examples for use with the accompanying document 'tla.pdf'. Links are provided therein to directories in this repository
Pre-requisites
See 'tla.pdf' section 4 for install instructions. If you have a recent JAVA runtime installed you're already done
Run Environment
Tested on Ubuntu 13.3.0 with the 25.0.1 JAVA compiler, and OpenJDK 25.0.1+8-Ubuntu-124.04 runtime
Running Models
Every example comes with a Makefile. Execute make to run verification