Differencing labeled transition systems

Differencing labeled transition systems

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

Full description

Saved in:
Bibliographic Details
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
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/5031
https://ink.library.smu.edu.sg/context/sis_research/article/6034/viewcontent/Differencing_Labeled.pdf

Similar Items