1 citations · 1 across the 6 of their papers we have counts for
1 paper · 2 filters
Tobias Reinhard
In this early technical report on an ongoing project, we present -- to the best of our knowledge -- the first study of completeness thresholds for memory safety proofs. Specificall…