Imperial Concurrency Coursework 2016

Exercise Based on Java and LTSA.

LTSA is a system verification tool and can be downloaded from http://www.doc.ic.ac.uk/ltsa/

Aims of Exercise can be found in the PDF document