Valigator

swMATH994MaRDI QIDQ13738FDOQ13738

Author name not available (Why is that?)

Described by source

• Valigator: A Verification Tool with Bound and Invariant Generation

Cited In (2)

• ABC: Algebraic Bound Computation for Loops
• Aligators for Arrays (Tool Paper)

This page was built for software: Valigator