README.md

Aerodrome Roadrunner

Implementation of AeroDrome tool in RoadRunner Dynamic Analysis Framework.

Course Project for Semester 2020-21-II offering of CS636 Analysis of Concurrent Programs at IIT Kanpur.

Final report is present here

Course Instructor

• Swarnendu Biswas

Teaching Assistant

• Arun KP

Project Members

• Bhuvan Singla
• Krishanu Singh
• Shobhit Jagga