Differencing labeled transition systems

• المؤلفون الرئيسيون: XING, Zhenchang, SUN, Jun, LIU, Yang, DONG, Jin Song
• التنسيق: text
• اللغة: English
• منشور في: Institutional Knowledge at Singapore Management University 2011
• الموضوعات: Model Checker; Operational Semantic; Label Transition System; Concurrent Program; Symbolic Execution; Software Engineering
• الوصول للمادة أونلاين: https://ink.library.smu.edu.sg/sis_research/5031; https://ink.library.smu.edu.sg/context/sis_research/article/6034/viewcontent/Differencing_Labeled.pdf

Concurrent programs often use Labeled Transition Systems (LTSs) as their operational semantic models, which provide the basis for automatic system analysis and verification. System behaviors (generated from the operational semantics) evolve as programs evolve for fixing bugs or implementing new user...