探查 swMATH ID: 16238 软件作者： 正式系统 描述： ProBE是CSP流程的动画制作工具，允许用户以交互方式探索模型的行为。ProBE可免费下载。 主页： http://www.fsel.com/software.html 相关软件： 第二代外国存托凭证；自旋蛋白；马戏团；Z轴；杰克；FDR3公司；火花；摩卡；次/次；美国铝业公司；卡斯珀；校对能力；捷克共和国；JML公司；NuSMV公司；合金；ArchJava建筑；PACC初学者工具包；沙发2.0；系统建模语言 引用于： 4文件 全部的 前5名13位作者引用 1 Al-Humaimedy，Abeer S。 1 佩德罗·安东尼诺 1 玛丽贝尔·费尔南德斯 1 贝诺·弗雷金 1 马克·弗拉皮耶 1 埃尔萨·甘特。 1 李丽怡 1 威廉·曼斯基 1 亚历杭德罗·莫塔 1 马塞尔·奥利维拉 1 罗德里戈·A·拉莫斯。 1 安德鲁·威廉，罗斯科 1 奥古斯托·桑帕约。 2篇连载文章中引用 1 计算机程序设计科学 1 计算的形式方面 在1个字段中引用 4 计算机科学（68至XX） 按年份列出的引文