Login / Signup
HELIX: a case study of a formal verification of high performance program generation.
Vadim Zaliva
Franz 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