Diamonds are a girl's best friend: Partial order reduction for timed automata with abstractions
A major obstacle for using partial order reduction in the context of real time verification is that the presence of clocks and clock constraints breaks the usual diamond structure of otherwise independent transitions. This is especially true when information of the relative values of clocks is prese...
Saved in:
| Main Authors: | , , , , |
|---|---|
| 格式: | text |
| 語言: | English |
| 出版: |
Institutional Knowledge at Singapore Management University
2014
|
| 主題: | |
| 在線閱讀: | https://ink.library.smu.edu.sg/sis_research/4956 https://ink.library.smu.edu.sg/context/sis_research/article/5959/viewcontent/diamonds.pdf |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|