Supplementary material for "An Isabelle/HOL Formalization of AProVE's Termination Method for LLVM IR"

Links

• Info at CPP2021
• Preprint
• Latest version of Isabelle theories are in the IsaFoR/CeTA repo
• HTML version of Isabelle theories used in paper
• Haskell code
• Table with generated files