Login / Signup

DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification.

Juan Pablo GaleottiCarlo A. FuriaEva MayGordon FraserAndreas Zeller
Published in: Haifa Verification Conference (2014)
Keyphrases
  • functional verification
  • formal verification
  • real time
  • image processing
  • data acquisition
  • parallel processing