开发者 est.sf.net

高效符号工具包 （EST） 是基于 BDD 的工具，用于正式验证并发系统。其优点是灵活性、便携性和高效的内存管理。它在不同的操作系统下运行，包括 Linux 和 Windows 2000/XP。