Loops in Program Verificaiton
albertolluch opened this issue · comments
Alberto Lluch Lafuente commented
Add loops to the program verification feature. This will entail exploring techniques for generation of loop invariants.
This could be a student project. If possible label it accordingly.