This is a collection of my TLA experiments in an attempt to explore and learn about usage of formal methods.
You can read more about TLA (Temporal Logic of Actions) on Leslie Lamport's website. If you wish to learn TLA and Pluscal, a good resource is LearnTLA.com.