GitHub repository: simkoc/raccoon
Primary language: Python
Created: 2019-12-11T09:44:40Z
Description: Source Code for the Publication 'Raccoon: Automated Verification of Guarded Race Conditions in Web Applications' in the proceedings of SAC'20