Formal Verification of 'Programming to Interfaces' Programs


This paper presents a formal approach to specify and verify object-oriented programs written in the 'programming to interfaces' paradigm. Besides the methods to be invoked by its clients, an interface also declares a set of abstract function/predicate symbols, together with a set of constraints on these symbols. For each method declared in this interface, a… (More)


14 Figures and Tables