A Short Introduction to the TRANSYT Verification Tool
Enric Pastor, M.A. Peña, Marc Solé · 2004
This document provides a brief introduction to TRANSYT, a tool designed for the verification of both untimed and timed asynchronous concurrent systems. The tool functionalities as well as its architecture is described. References to published research related to TRANSYT are also provided.