This repository contains information related to the real-time system (RTS) modeling component of the tool Process Analysis Toolkit (PAT) presented in the International Symposium on the Foundations of Software Engineering (FSE), 2010. 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:
In this repository for PAT-RTS, you will find:
- ❌ Source code (not available)
- ✅ The original tool (available)
- ❌ Virtual machine containing tool (not available)
This repository was constructed by Yogesh Nandakumar under the supervision of Emerson Murphy-Hill. Thanks to Dr. Yang Liu and his colleagues for their help in establishing this repository.