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