views:

41

answers:

0

Are there any readily available implementations (or some open source code) of loop iteration dependency verification algorithms like I-test, Banerjee test etc.