Visible to the public Guardol: A Domain-Specific Language for Guards Supporting Strong Automated Formal Analysis

Submitted by TimTh on Mon, 05/16/2011 - 8:24am. Contributor:

Presented as part of the 2011 HCSS conference.

License: 
Creative Commons 2.5

Other available formats:

Guardol: A Domain-Specific Language for Guards Supporting Strong Automated Formal Analysis
Switch to experimental viewer