Login / Signup

A verified algebraic representation of cairo program execution.

Jeremy AvigadLior GoldbergDavid LevitYoav SeginerAlon Titelman
Published in: CPP (2022)
Keyphrases
  • program execution
  • multi processor
  • feature representation
  • genetic algorithm
  • metadata