Valigator

MaRDI QIDQ13738swMATHFDO

Official website http://mtc.epfl.ch/software-tools/Aligator/Valigator/

Described by source

• Valigator: A Verification Tool with Bound and Invariant Generation

Cited in

(7)

• ABC: algebraic bound computation for loops
• RComp
• JAMPACK
• InvGen
• LOOPUS
• DynaMate
• Aligators for Arrays (Tool Paper)

This page was built for software: Valigator