Valigator

swMATH994MaRDI QIDQ13738FDOQ13738

Author name not available (Why is that?)

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

Described by source

• Valigator: A Verification Tool with Bound and Invariant Generation

Cited In (6)

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

This page was built for software: Valigator