MoTraS

Description

A tool for modal transition systems and their extensions supporting modal refinement checking and provides GUI for drawing.

At the moment all information for this project is located at the original website.

Publications