Learning assumptions for compositional verification of timed systems

• المؤلفون الرئيسيون: LIN, Shang-Wei Lin, LIU, Yang, SUN, Jun
• التنسيق: text
• اللغة: English
• منشور في: Institutional Knowledge at Singapore Management University 2014
• الموضوعات: Automatic assume-guarantee reasoning; model checking; timed systems; Programming Languages and Compilers; Software Engineering
• الوصول للمادة أونلاين: https://ink.library.smu.edu.sg/sis_research/4982; https://ink.library.smu.edu.sg/context/sis_research/article/5985/viewcontent/learning.pdf

Compositional techniques such as assume-guarantee reasoning (AGR) can help to alleviate the state space explosion problem associated with model checking. However, compositional verification is difficult to be automated, especially for timed systems, because constructing appropriate assumptions for A...