Authors

Shashidhar, K.C.; Bruynooghe, M.; Catthoor, Francky; Janssens, Gerda

Conference

International Workshop on Compilers Meets Compiler Verification - COCV

Title

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

Publication type

Oral presentation