×

找不同

swMATH ID: 200
软件作者: 萨德克·本萨勒姆;马吕斯·博兹加;Nguyen,Thanh-Hung;约瑟夫·西法基斯
描述: D-Finder工具实现了一种组合方法,用于验证BIP语言中描述的、包含多方交互的基于组件的系统。对于死锁检测,D-Finder应用证明策略,通过计算越来越强的不变量来消除潜在的死锁。
主页: http://www-verimag.imag.fr/dfinder
相关软件: 莫纳;Reo公司;小卧室;CVC4型;FDR3公司;沙发2.0;托勒密;联合;自旋;VAMPIRE公司;Potassco公司;魔法;AspectJ公司;Java操作系统;自动变速器;AmbientTalk公司;J盒;防抱死制动系统;中美合作所;甲酚
引用于: 17文件
更多出版物: http://www-verimag.imag.fr/dfinder

按年份列出的引文