Interactive BDD Environment 1.1

许可: 免费 ‎文件大小: N/A
‎用户评分: 3.0/5 - ‎1 ‎评分

IBEN 是交互式 BDD 环境。它允许您声明、操作和可视化缩减的有序二进制决策图 (ROBD)。它被设计为一个学习工具,虽然它是有用的,每当你需要操作BDD互动和

版本历史记录

  • 版本 1.1 发布于 2003-03-25
    若干修复和更新 {*}
  • 版本 1.1 发布于 2003-03-25

软件信息