Differencing labeled transition systems

• Main Authors: XING, Zhenchang, SUN, Jun, LIU, Yang, DONG, Jin Song
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2011
• Subjects: Model Checker; Operational Semantic; Label Transition System; Concurrent Program; Symbolic Execution; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/5031; https://ink.library.smu.edu.sg/context/sis_research/article/6034/viewcontent/Differencing_Labeled.pdf
• Institution: Singapore Management University

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...