[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-Help] Regular expressions



I was just wondering if there was a pre-defined theory for regular 
expressions including predicates to check language inclusion etc.

Many thanks

Best Regards
Paddy