[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>
         <a href="/activities/concurrency/tools">Tools</a>
      </li>
      <li>
         <span class="youarehere">ProBE</span>
      </li>
   </ul>
</div>
<div id="content">

<h1>
ProBE</h1>
<div class="personalContent">
Marketed by Formal Systems is an animator tool called ProBE. This tool
does not enable the user to prove properties of systems as with FDR,
rather
it facilitates the graphical exploration of CSP processes. The user
controls
the resolution of non-determinism and the choice of actions, watching
the
process evolve in response. Component processes can be selected, and
their
contribution to the larger system examined.
<br>
<br>
<h3>
links
</h3>
<p><a href="http://www.fsel.com/software.html">ProBE download page<br>
</a></p>
</div>

</div>
[an error occurred while processing this directive]
[an error occurred while processing this directive]
[an error occurred while processing this directive]