[請益] 請問 model checking

看板NTUEE_VAL作者patrickqna時間15年前 (2008/11/12 21:17)推噓5(5推 0噓 2→)

留言7則, 3人參與討論串1/1

請問有 model checking 是針對 event-on-node graph 的嗎？也就是針對「nodes 是 events 的 model」進行 model checking 的技術嗎？謝謝各位。 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.122.184.95 ※ 編輯: patrickqna 來自: 140.122.184.95 (11/12 21:18)

推

bask

11/13 02:08, , 1^F

11/13 02:08, 1^F

→

bask

11/13 02:09, , 2^F

11/13 02:09, 2^F

events 類似 synchronizer 但因為我們處理的問題可能是 asynchronous 的所以.... events 通常單純是寫入 share variable 的動作

推

cailinzan

11/13 13:30, , 3^F