From RATSY -- Requirements Analysis Tool with Synthesys

Main: RATSY - Requirements Analysis Tool with Synthesis


RATSY v2.1.0 has been released. In contrast to earlier releases, this release also includes the complete source code for the underlying model checkers. See Download for details.


RATSY (Requirements Analysis Tool with Synthesis) is an upgraded and extended version of RAT. In addition to the features of RAT, it includes the capability to synthesize reactive systems from their temporal specification. Furthermore, it includes a game-based approach for debugging specifications.

The new features have been jointly developed by the Embedded System Unit of FBK and the Institute for Applied Information Processing and Communications of Graz University of Technology.

The development of RATSY was made possible

Have a look at the RATSY Poster for an overview of RATSY's new features and workflow.

Retrieved from
Page last modified on June 18, 2010, at 09:16 AM