[an error occurred while processing this directive]<meta name="keywords" content="Department of Computer Science, Project, Gauge"></meta>
<meta name="description"
      content="Department of Computer Science, Project, Gauge, Gauge"></meta>
<title>Department of Computer Science - Research Project: Gauge</title>
[an error occurred while processing this directive]
<!-- BREADCRUMBS -->
<div class="content-width">
   <ol class="breadcrumb text-uppercase">
      <li>
         <a href="/">Home</a>
      </li>
      <li>
         <a href="/research/">Research</a>
      </li>
      <li>
         <a href="/research/dk/">Data, Knowledge and Action</a>
      </li>
      <li>
         <a href="/research/dk/projects.html">Projects</a>
      </li>
      <li class="active">Gauge</li>
   </ol>
</div>
<!-- MOBILE NAVIGATION -->
<div class="content-width space-below mobile-menu-placeholder visible-xs visible-sm"></div>
<!-- COLUMNS -->
<div class="container-fluid content-width">
   <div class="row">
      <div class="col-xs-12 col-md-6 col-md-push-3" id="maincontent">
         <div class="page-title">
            <div class="row">
               <div class="col-xs-12 col-md-12">
                  <h1>Gauge</h1>
               </div>
            </div>
            <div class="row">
               <div class="col-xs-12 col-md-12"></div>
            </div>
         </div>
         <div class="personalContent"><p>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.</p>
         </div>
         <div class="row">
            <h3>Principal Investigator</h3>
         </div>
         <div class="row">
            <div itemscope="itemscope" itemtype="http://schema.org/Person"
                 class="picturebox col-xs-6 col-sm-4 col-md-4  clear-xs clear-sm clear-md clear-lg">
               <a class="piccy" href="/people/Andrew.Simpson/"
                  style="background-image:url('/files/7020//andrew.simpson.gif')"></a>
               <center>
                  <a href="/people/Andrew.Simpson/">
                     <span class="newcaption">
                        <span itemprop="name">Andrew Simpson</span>
                     </span>
                  </a>
               </center>
            </div>
         </div>
         <div class="row">
            <h3>People</h3>
         </div>
         <div class="row">
            <div itemscope="itemscope" itemtype="http://schema.org/Person"
                 class="picturebox col-xs-6 col-sm-4 col-md-4  clear-xs clear-sm clear-md clear-lg">
               <a class="piccy" style="background-image:url('/files/121//david.power.gif')"></a>
               <center>
                  <span class="newcaption">
                     <span itemprop="name">David Power</span>
                  </span>
               </center>
            </div>
            <div itemscope="itemscope" itemtype="http://schema.org/Person"
                 class="picturebox col-xs-6 col-sm-4 col-md-4 ">
               <a class="piccy"></a>
               <center>
                  <span class="newcaption">
                     <span itemprop="name">Mark Slaymaker</span>
                  </span>
               </center>
            </div>
         </div>
         <div class="row space-below">
            [an error occurred while processing this directive]
         </div>
      </div>
      <!-- TACTICAL BOXES (Column 3) -->
      <div class="col-xs-12 col-md-3 col-md-push-3 no-print">
         <div class="row">
            <div class="col-xs-12 col-sm-6 col-md-12">
               <div class="panel panel-dark-brown panel-links text-center">
                  <div class="panel-heading clearfix">
                     <h2 class="panel-title panel-title-small text-uppercase">See also</h2>
                     <span class="underbar"></span>
                  </div>
                  <div class="panel-body no-top-padding">
                     <ul>
                        <li style="margin-bottom:0.33em">
                           <a href="http://www.cs.ox.ac.uk/people/david.power/gauge.html">Project Website</a>
                        </li>
                     </ul>
                     <ul>
                        <li style="margin-bottom:0.33em">
                           <a href="/people/Andrew.Simpson">
                              <span itemprop="name">Andrew Simpson</span>
                           </a>
                        </li>
                     </ul>
                     <ul>
                        <li style="margin-bottom:0.33em">
                           <a href="/activities//index.html"></a>
                        </li>
                        <li style="margin-bottom:0.33em">
                           <a href="/activities/securedatasharing/index.html">Models and technologies for secure data sharing</a>
                        </li>
                        <li style="margin-bottom:0.33em">
                           <a href="/activities/se/index.html">Software Engineering</a>
                        </li>
                     </ul>
                     <ul>
                        <li style="margin-bottom:0.33em">
                           <a href="/research/dk">Data, Knowledge and Action</a>
                        </li>
                     </ul>
                  </div>
               </div>
            </div>
         </div>
      </div>
      <div class="col-xs-12 col-md-3 col-md-pull-9 side-menu-col">
         <!-- NAVIGATION (Column 1) -->
         [an error occurred while processing this directive]
      </div>
   </div>
</div>
[an error occurred while processing this directive]