Verification State-Space Reduction through Restricted Parsing Environments | IEEE Conference Publication | IEEE Xplore