Diffy

swMATH46247MaRDI QIDQ5972538FDOQ5972538

Author name not available (Why is that?)

Described by source

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

This page was built for software: Diffy