SVA
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
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