A Novel Approach to High-Level Property Checking Using Wu's Method | IEEE Conference Publication | IEEE Xplore