1 citations · 1 across the 6 of their papers we have counts for
1 paper · 1 filter
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…