PV1 ⊧ Loopuscomputes symbolic bounds on loops in a program

Links

Related papers

• http://dx.doi.org/10.1007/s10817-016-9402-4 (JAR 2017)
• http://katalog.ub.tuwien.ac.at/AC13356888 (PhD thesis, 2016)

ProVerB specific

• Markdown description: view/edit
• Reason for this entry: compared to Pastis
• Contained in the ProVerB22 dataset (paper + artefact)