Computer Aided Verification Techniques and Applications Phil Mackenzie Computer And Information Science