Diffy

swMATH46247MaRDI QIDQ5972538FDOQ5972538

Author name not available (Why is that?)

Official website: https://arxiv.org/abs/2105.14748

Described by source

• \textsc{Diffy}: inductive reasoning of array programs using difference invariants

This page was built for software: Diffy