University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Gauge

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.

Links

Project Website

Info

Principal Investigator

People

Personal photo - David Power
David Power
Mark Slaymaker

Activities

Themes