Company:University of WaterlooLocation:Waterloo, ON, Canada
Near-border examples for Alloy
A Pattern-based declarative model debugger