Guardol: A Domain-Specific Language for Guards Supporting Strong Automated Formal Analysis
Presented as part of the
2011 HCSS conference
.
License:
Creative Commons 2.5
Konrad Slind
Other available formats:
Guardol: A Domain-Specific Language for Guards Supporting Strong Automated Formal Analysis
Switch to normal viewer
Switch to experimental viewer
