[請益] 請問 model checking

[patrickqna ()]

請問有 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:不是很清楚你的問題。event在node/edge都可以轉換
→ bask:另外，event是指什麼?atomic proposition?synchronizer?
events 類似 synchronizer
但因為我們處理的問題可能是 asynchronous 的
所以....

events 通常單純是寫入 share variable 的動作

推 cailinzan:我就猜gd會跳出來....
推 bask:更，我也不差啊，為什麼不給我畢業
推 boomba47:淚推~~~我也不差阿我也不差阿我也不差阿我也不差阿
※ 編輯: patrickqna      來自: 140.122.184.95       (11/15 20:01)
推 bask:你不插誰?
→ bask:你可能差一下reactive module,alur。看是不是你要的