New answers tagged software-verification
0
votes
Formally Verify if a Sequence of Regex-Based Modifications is Idempotent
This is likely to be a very hard problem, so hard that I don't think you should expect a useful solution that can handle all possible regexes.
The extended regular expressions supported by Python's <...
D.W.♦
- 156k
Top 50 recent answers are included