SoftwareEngineeringToolDemos / ICSE-2012-RESOLVE

The tool was developed by Murali Sitaraman, Charles T. Cook, Heather Harton and Hampton Smith. It was presented in the ICSE 2012 conference

ICSE-2012-RESOLVE

This repository contains information related to RESOLVE tool presented in ICSE in 2012. The tool was originally presented in this paper

Authors of the tool : Murali Sitaraman, Charles T. Cook, Heather Harton and Hampton Smith

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

• The Official Project Page
• Project GitHub Link
• A Video of the Tool

In this repository, you will find:

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

Thanks to Murali Sitaraman and Yu-Shan Sun for helping me find and setup the tool and the repository. The paper related to the original tool is "Specification engineering and modular verification using a web-integrated verifying compiler".

This repository was constructed by Kairav Padarthy under the supervision of Emerson Murphy-Hill.