Skip to main content

Developing and using SVA

Supervisor

Suitable for

MSc in Computer Science

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)