A Lightweight Framework for Regular Expression Verification | IEEE Conference Publication | IEEE Xplore