This repository contains information related to the tool PDE presented at the Foundations of Software Engineering, 2011. This 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 PDE you will find:
- ✅ Source code
- ❌ Executable tool (not available)
- ❌ Virtual machine containing tool (not available)
This repository was constructed by Craig Kimpel under the supervision of Emerson Murphy-Hill.