伙计

巴迪是Jorn Lind Nielsen在有限状态机模型检查博士项目中创建的。这个包已经从一个简单的二进制决策图(BDD)的介绍发展到一个完整的BDD包,包含所有标准的BDD操作、重新排序、C++接口和大量文档。(资料来源:http://freecode.com/)


zbMATH中的参考文献(参考文献22条)

显示第1到第20个结果,共22个。
按年份排序(引用)
  1. 易卜拉希米,马苏德;索图德,古拉姆雷扎;Movaghar,Ali:模糊程序图上模糊CTL的符号检验(2019)
  2. 掸、来乡;杜晓敏;秦,郑:将LTL公式转换为Büchi自动机的有效方法(2015)
  3. 索图德,古拉姆雷扎;Movaghar,Ali:模糊时序逻辑与模型中的抽象与逼近(2015)
  4. 戈雷,拉吉耶夫;汤姆森,吉米:直觉命题逻辑的改进BDD方法:bddinkt系统描述(2013)
  5. Micalizio,Roberto:通过基于模型的诊断和一致性规划恢复动作失败(2013)
  6. 安徒生,亨里克·雷夫;哈齐克,塔里克;大卫皮辛格:决策图上的交互式成本配置(2010)
  7. 奎珀,沃特;van de Pol,Jaco:计算不完全信息安全博弈的最弱策略(2009)
  8. 戈罗吉安尼斯,尼科斯;Anthony Hunter:使用二进制决策图实现语义合并运算符(2008)
  9. 亚历山大哈默斯;蒂埃里·米格,扬;Kordon,Fabrice:层次集决策图与自动饱和(2008)
  10. 詹森,符文M。;维洛索,曼努埃拉·M。;Bryant,Randal E.:状态集分支:利用BDD进行启发式搜索(2008)
  11. 普利亚苏诺夫,谢尔盖;Arkin,Adam P.:离散事件系统的有效随机敏感性分析(2007)
  12. 熊海燕;考森,保罗;塔哈尔,索菲涅;安·布兰德福德:《在千年发展目标和全球目标之间建立正式联系》(2007年)
  13. 张湘玉;尼拉姆古普塔;Gupta,Rajiv:动态切片在定位真实断层中的有效性研究(2007)ioport公司
  14. 海曼,查尔斯:通过抽象解释验证纠错代码(2005)
  15. Subbarayan,Sathiamoorthy:整合CSP分解技术和BDD来编译配置问题(2005)
  16. 约翰,威利;副词、副词;卡宾,迈克尔;Lam,Monica S.:使用带有二进制决策图的数据日志进行程序分析(2005)
  17. 哈达德,谢尔盖;伊莱,让·米歇尔;Klai,Kais:基于符号和抽象的模型检查器的设计和评估(2004)
  18. Edelkamp,S.:模型检验综合规划系统中的驯化数和持续时间(2003)
  19. 希尔,帕特里夏·M。;斯波托,福斯托:逻辑程序作为紧凑的表示。(2003年)
  20. 金斯伯格,M.L.:吉布:计算挑战性博弈中的不完全信息(2001)