Functional equivalence checking for verification of algebraic transformations on array-intensive source code

Kodamballi, ShashiShashiKodamballiBruynooghe, MauriceMauriceBruynoogheCatthoor, FranckyFranckyCatthoorJanssens, GerdaGerdaJanssens2021-10-162021-10-162005-03https://imec-publications.be/handle/20.500.12860/10719Functional equivalence checking for verification of algebraic transformations on array-intensive source codeProceedings paper