Verification - Dennis and Recchia