作者patrickqna ()
看板NTUEE_VAL
標題[請益] 請問 model checking
時間Wed Nov 12 21:17:36 2008
請問有 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)
1F:推 bask:不是很清楚你的問題。event在node/edge都可以轉換 11/13 02:08
2F:→ bask:另外,event是指什麼?atomic proposition?synchronizer? 11/13 02:09
events 類似 synchronizer
但因為我們處理的問題可能是 asynchronous 的
所以....
events 通常單純是寫入 share variable 的動作
3F:推 cailinzan:我就猜gd會跳出來.... 11/13 13:30
4F:推 bask:更,我也不差啊,為什麼不給我畢業 11/14 01:03
5F:推 boomba47:淚推~~~我也不差阿我也不差阿我也不差阿我也不差阿 11/15 00:26
※ 編輯: patrickqna 來自: 140.122.184.95 (11/15 20:01)
6F:推 bask:你不插誰? 11/15 23:24
7F:→ bask:你可能差一下reactive module,alur。看是不是你要的 11/15 23:26