COS700-GDP This repository is for COS700-Research project. (Verification tool for Generalised Dining Philosophers built on Qt)