Login / Signup

HELIX: a case study of a formal verification of high performance program generation.

Vadim ZalivaFranz Franchetti
Published in: FHPC@ICFP (2018)
Keyphrases
  • formal verification
  • program slicing
  • model checking
  • automated verification
  • symbolic model checking
  • model checker
  • bounded model checking
  • case study
  • computer programs
  • open source
  • temporal logic
  • generation process