作者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