author-photo

Max W. Haslbeck

University of Innsbruck

3

Papers

7

Citations

Citation Trend

Filter By

Papers (3) Sort By

Journal Conference Others

An Isabelle/HOL formalization of AProVE’s termination method for LLVM IR

2021 CPP | Certified Programs and Proofs
- Max W. Haslbeck
- René Thiemann
Show All
- Source
- Cite
- Save
Citations (0)
Verified Analysis of Random Binary Tree Structures

2020 Journal of Automated Reasoning
Show All
- Source
- Cite
- Save
Citations (1)
Verifying an Incremental Theory Solver for Linear Arithmetic in Isabelle/HOL.

2019 FroCoS | Frontiers of Combining Systems
Show All
- Source
- Cite
- Save
Citations (6)