Login / Signup
Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations.
K. C. Shashidhar
Maurice Bruynooghe
Francky Catthoor
Gerda Janssens
Published in:
Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
</>
model checking
artificial intelligence
formal specification
formal verification