[an error occurred while processing this directive]<title>Department of Computer Science: Concurrency</title>
<meta name="keywords"
      content="Department of Computer Science Research Activities Concurrency"></meta>
<meta property="og:site_name" content="Department of Computer Science"></meta>
<meta property="og:title" content="Concurrency"></meta>
<meta property="og:image"
      content="http://www.cs.ox.ac.uk/images/CompSci_logo_landscapeL_rgb_corrected.jpg"></meta>
<meta property="og:url" content="http://www.cs.ox.ac.uk/activities/concurrency/"></meta>
<meta name="Author" content="Tom Newcomb, Tomasz Mazur"/>
[an error occurred while processing this directive]
<div id="breadcrumb">
   <span id="breadcrumb-label">You are here:</span>
   <ul>
      <li>
         <a href="/">Home</a>
      </li>
      <li>
         <a href="/research/">Research</a>
      </li>
      <li>
         <a href="/research/activities.html">Activities</a>
      </li>
      <li>
         <a href="/activities/concurrency">Concurrency</a>
      </li>
      <li>
         <span class="youarehere">Tools</span>
      </li>
   </ul>
</div>
<div id="content">

<h1>
Tools</h1>
<div class="personalContent">
<ul>
  <li> <a href="fdr">FDR</a> - A refinement checker for
machine-readable
CSP<br>
    <br>
  </li>
  <li> <a href="probe">ProBE</a> - An animator for machine-readable CSP<br>
    <br>
  </li>
  <li><a target="_blank"
 href="http://www.fsel.com/typechecker_download.html">CSP Typechecker</a>
- A standalone type checker for CSP syntax <br>
    <br>
  </li>
  <li><a target="_blank"
 href="http://wotug.org/parallel/theory/formal/csp/Deadlock/">Deadlock
checker</a> - A tool for proving deadlock freedeom of CSP programs<br>
    <br>
  </li>
  <li> <a
 href="http://web.comlab.ox.ac.uk/people/Gavin.Lowe/Security/Casper/index.html">Casper</a>
- A compiler for security protocols into CSP<br>
    <br>
  </li>
  <li> <a href="sva">SVA</a> - A compiler for concurrent shared
variable programs into CSP<br>
    <br>
  </li>
  <li><a
 href="http://www.comlab.ox.ac.uk/people/toby.murray/tools/transit/">TransIt</a>
- A tool for automatic generation of transition diagrams of CSP
processes<br>
    <br>
  </li>
  <li><a href="temporalLogic">A compiler for specifications written in
bounded positive temporal logic into CSP<br>
    </a><br>
  </li>
  <li> <a href="develop">Tools under development</a></li>
</ul>
</div>
</div>
[an error occurred while processing this directive]
[an error occurred while processing this directive]
[an error occurred while processing this directive]