Login / Signup

An Automated Verification Framework for HalideIR-Based Compiler Transformations.

Yanzhao WangFei XieZhenkun YangJeremy CasasPasquale CocchiniJin Yang
Published in: DATE (2023)
Keyphrases
  • theoretical framework
  • automated verification
  • main contribution
  • software systems
  • knowledge representation
  • software engineering
  • graphical models
  • model checking
  • temporal logic
  • theorem proving