6 citations · 22 across the 13 of their papers we have counts for
1 paper · 1 filter
Bohua Zhan, Maximilian P. L. Haslbeck
We present a framework in Isabelle for verifying asymptotic time complexity of imperative programs. We build upon an extension of Imperative HOL and its separation logic to include…