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.