University of Oxford Logo University of OxfordDepartment of Computer Science - Home
Linked in
Linked in
Follow us on twitter
On Facebook


SVA is a front end for FDR developed by Bill Roscoe and David Hopkins 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.

Related publications:
1. A. W. Roscoe, Compiling Shared Variable Programs into CSP, Proceedings of PROGRESS workshop 2001, 2001. (PS)
2. A. W. Roscoe, David Hopkins, SVA, a tool for analysing shared-variable programms, Proceedings of AVoCS 2007, 2007. (PDF)

Download: TBA