Computer-aided Verification