Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations

Shashidhar, K.C.K.C.ShashidharBruynooghe, M.M.BruynoogheCatthoor, FranckyFranckyCatthoorJanssens, GerdaGerdaJanssens2021-10-142021-10-142002https://imec-publications.be/handle/20.500.12860/6823Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse TransformationsOral presentation