文件名称：Efficient Symbolic Tools-开源
文件大小：554KB
文件格式：ZIP
更新时间：2024-05-17 09:59:15
开源软件
高效的符号工具包（EST）是基于BDD的工具，用于对并发系统进行形式验证。 它的优点是灵活性，可移植性和有效的内存管理。 它可以在不同的操作系统（包括Linux和Windows 2000 / XP）下运行。
【文件预览】：
est-1ed
----bin()
--------pa.so(339KB)
--------mi-gui.tcl(28KB)
--------mi.so(46KB)
--------miDialog.tcl(4KB)
--------menu_interface_colors.tcl(22KB)
--------paDialog.tcl(12KB)
--------mi.tcl(4KB)
--------LICENSE.TXT(18KB)
--------bdd.about(555B)
--------mc.so(226KB)
--------mc.about(443B)
--------est.tcl(4KB)
--------bddDialog.tcl(21KB)
--------versis.about(471B)
--------versis.so(254KB)
--------menu_interface_fonts.tcl(3KB)
--------mcDialog.tcl(2KB)
--------mi.about(496B)
--------bdd.so(387KB)
--------versisDialog.tcl(8KB)
--------pa.about(548B)
----data()
--------brp.actl(1KB)
--------dekker.tcl(552B)
--------filozofi.dat(2KB)
--------kva.actl(937B)
--------dekker.dat(3KB)
--------scheduler()
--------dekker.ps(31KB)
--------brp.dat(6KB)
--------menjava.tcl(251B)
--------kva.dat(1KB)
--------dekker.actl(342B)
--------kva.tcl(346B)
--------menjava.dat(597B)
--------filozofi.tcl(267B)
--------kavacaj.tcl(272B)
--------bddTest.tcl(137B)
--------brp.tcl(499B)
--------integram.tcl(2KB)
--------kavacaj.dat(2KB)
----etc()
--------freeextractor.txt(812B)
--------est-bw.ico(2KB)