Refinement Mapping Checker

'Tools for TLA based specifications' project
Computer Networks and Distributed Systems Group

Department of Computer Science, University of Dortmund, Germany

This page is in preparation.

Features

Older version (no SF handling) covered in research report 541/94. A new report is in preparation.

Holger Wiemann (release 2)

Miriam Stange (release 1)

Thomas Kraatz (release 1)

Peter Herrmann, last updated: Mar 16, 1995

Informatik IV, Uni Dortmund