Verification and regular expressions