This repository contains information related to the tool RSA-MBT presented at the Foundations of Software Engineering, 2013. The tool was originally presented in this paper.

This repository is not the original repository for this tool. Here are some links to the original project:

• The project source code with help tutorials

In this repository, for Evolve you will find:

• ❌ Source code (not available)
• ❌ Executable tool (not available)
• ❌ Virtual machine containing tool (not available)

This repository was constructed by Vrushti Shah under the supervision of Emerson Murphy-Hill.

I would also like to thank Dr. Diniz da Costa and his colleagues for developing this tool.