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

Submitted by Katie Dey on Mon, 05/16/2011 - 9:24am. Contributor:
Switch to experimental viewer

Guardol: A Domain-Specific Language for Guards Supporting Strong Automated Formal Analysis
Contributor(s): 
Konrad Slind