高效符号工具包 (EST) 是基于 BDD 的工具,用于正式验证并发系统。其优点是灵活性、便携性和高效的内存管理。它在不同的操作系统下运行,包括 Linux 和 Windows 2000/XP。
版本历史记录
- 版本 N/A 发布于 2006-10-09
若干修复和更新 - 版本 N/A 发布于 2006-10-09
软件信息
- 软件分类: 通信 > 其他
- 发布者: est.sf.net
- 许可: 免费
- 价格: N/A
- 版本: Array
- 适用平台: windows
高效符号工具包 (EST) 是基于 BDD 的工具,用于正式验证并发系统。其优点是灵活性、便携性和高效的内存管理。它在不同的操作系统下运行,包括 Linux 和 Windows 2000/XP。