Tag
This paper presents foundational verification methods for establishing running-time bounds in interactive programs, contributing to formal methods in computer science.