A Strongest Assumption Generation Method for Component-Based Software Verification

This paper presents a method for generating strongest assumptions during component-based software verification. The key idea of this method is to improve the technique for answering membership queries of the Teacher when responding to the Learner in the