University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

The Gauge tool

Gauge is a tool for the evaluation of predicates and expressions written in the Alloy modelling language. Unlike the Alloy Analyzer which is designed to find small instances, Gauge is designed to work efficiently with large known instances.

Gauge is intended to bridge the gap between modelling and real world systems.

Papers

Conformance checking of dynamic access control policies
David Power, Mark Slaymaker and Andrew Simpson
International Conference on Formal Engineering Methods (ICFEM 2011), to appear