软件搜索-zbMATH Open

增值税

swMATH ID:	9917
软件作者：	安大略省Lengál；Šimáček，Jiří；汤姆·沃纳
描述：	VATA：用于有效操作非确定性树自动机的库。在本文中，我们介绍了VATA，一个通用且高效的开源树自动机库，可用于形式验证。该库支持非确定性有限树自动机的显式和半符号编码，并在两者上提供标准操作的高效实现。半符号编码用于带有大字母的树自动机。为了存储它们的转换功能，使用了一个新实现的MTBDD库。为了使库的应用范围尽可能广泛，甚至对于半符号编码，我们提供了自下而上和自上而下的半符号表示。该库实现了几种基于向下和向上模拟的高度优化的归约算法，以及基于向上和向下反链和模拟的自动机包含测试算法。我们在一组测试用例上比较了这些算法的性能，并将VATA的性能与我们以前的树自动机实现进行了比较。
主页：	http://link.springer.com/chapter/10.1007%2F978-3-642-28756-5_7
相关软件：	平均无故障时间；MONA公司；幻灯片；骑自行车的人；反链；HIP（热等静压）；Clafer公司；工厂验收试验；fmp2rsm公司；JFLAP公司；小脚；捕食者；雷克斯；致命的；廷巴克；CUDD公司；金刚狼；F外壳；QuteRTL公司；高铁
引用于：	7文件