[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">SVA</span>
      </li>
   </ul>
</div>
<div id="content">

<h1>SVA</h1>
<div class="personalContent">
<span class="il">SVA</span> is a front end for FDR developed by <a
 target="_blank" href="http://www.cs.ox.ac.uk/people/Bill.Roscoe/">Bill
Roscoe</a> and <a target="_blank"
 href="http://www.cs.ox.ac.uk/people/David.Hopkins/">David Hopkins</a>
that allows the user to write shared variable programs, check
properties of these on FDR, and have any examples reported
in a user-friendly way.<br>
<br>
<br>
Related publications:<br>
1. A. W. Roscoe, Compiling Shared Variable Programs into CSP, <em>Proceedings
of PROGRESS workshop 2001,</em> 2001. (<a
 href="http://www.cs.ox.ac.uk/people/bill.roscoe/publications/82.ps">PS</a>)
<br>
2. A. W. Roscoe, David Hopkins, SVA, a tool for analysing
shared-variable programms, <span style="font-style: italic;">Proceedings
of AVoCS 2007</span>, 2007. (<a
 href="http://www.cs.ox.ac.uk/people/bill.roscoe/publications/119.pdf">PDF</a>)<br>
<br>
<br>
Download: TBA<br>
</div>
<br>
<br>


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