Full Regular Temporal Property Verification as Dynamic Program Execution | IEEE Conference Publication | IEEE Xplore