'Tools for TLA based specifications' project
Computer Networks and Distributed Systems Group
Department of Computer Science, University of Dortmund, Germany
This page collects some pointers we get to know of for convenience
of people interested in TLA tools. It also contains references to general
TLA work. To be added, please drop a short note to the page maintainer.
References to TLA tools from other groups
- TLP: interactive (Larch based) proof system for TLA
- [from Urban Engberg, Aarhus Univ., Denmark]
References to other TLA 'users'
People/Groups who are using TLA etc. in their work and also supporting
this or related work with appropriate tools. To be added please drop
me a short note.
- The DisCo Project
- (Tampere Univ. of Technology, Finland - R. Kurki-Suonio)
- Expressing their specification language for reactive systems
in terms of TLA (safety only).
- Peter Ladkin's home page with some papers on TLA
- See also Leslie Lamport's TLA Web-page.
Arnulf Mester,
last updated: Mar 16, 1995
Informatik IV, Uni Dortmund