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...
Saved in:
| Main Authors: | , , , |
|---|---|
| 格式: | text |
| 語言: | English |
| 出版: |
Institutional Knowledge at Singapore Management University
2011
|
| 主題: | |
| 在線閱讀: | https://ink.library.smu.edu.sg/sis_research/5031 https://ink.library.smu.edu.sg/context/sis_research/article/6034/viewcontent/Differencing_Labeled.pdf |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|