Developing and using SVA
Supervisor
Suitable for
Abstract
SVA is a front end for FDR that analyses shared variable programs. See Chapters 18 and 19 of Understanding Concurrent Systems. It has the potential to support a number of projects including:(a) Building a version that accepts a subset of some standard programming language as opposed to the custom language it presently uses.
(b) Extending its functionality
(c) Case studies using it.
(a) and (b) would both involve programming in CSP and JAVA, the two languages SVA is written in.
Prerequisites: Concurrency for (a) and (b)