<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "On Locally Strongest Assumption Generation Method for Component-Based Software Verification"^^ . "Assume-guarantee reasoning, a well-known approach in component-based software (CBS) verification, is in\r\nfact a language containment problem whose computational cost depends on the sizes of languages of the software\r\ncomponents under checking and the assumption to be generated. Therefore, the smaller language assumptions,\r\nthe more computational cost we can reduce in software verification. Moreover, strong assumptions are more\r\nimportant in CBS verification in the context of software evolution because they can be reused many times in the\r\nverification process. For this reason, this paper presents a method for generating locally strongest assumptions with\r\nlocally smallest languages during CBS verification. The key idea of this method is to create a variant technique\r\nfor answering membership queries of the Teacher when responding to the Learner in the L–based assumption\r\nlearning process. This variant technique is then integrated into an algorithm in order to generate locally strongest\r\nassumptions. These assumptions will effectively reduce the computational cost when verifying CBS, especially\r\nfor large–scale and evolving ones. The correctness proof, experimental results, and some discussions about the\r\nproposed method are also presented."^^ . "2018-12-25" . . "34" . "2" . . "VNU"^^ . . . "VNU Journal of Science: Computer Science and Communication Engineering"^^ . . . "25881086" . . . . . . . . . . "Ngoc Hung"^^ . "Pham"^^ . "Ngoc Hung Pham"^^ . . "Hoang Viet"^^ . "Tran"^^ . "Hoang Viet Tran"^^ . . . . . . "On Locally Strongest Assumption Generation Method for Component-Based Software Verification (PDF)"^^ . . . . . "A Local Strongest Assumption Generation Method for CBS Verification_v7_gui_thay_Hung.pdf"^^ . . . "On Locally Strongest Assumption Generation Method for Component-Based Software Verification (Other)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #3500 \n\nOn Locally Strongest Assumption Generation Method for Component-Based Software Verification\n\n" . "text/html" . . . "Information Technology (IT)"@en . .