Программы est.sf.net

Пакет эффективных символических инструментов (EST) является инструментом на основе BDD для формальной проверки параллельных систем. Его преимуществами являются гибкость, портативность и эффективное управление памятью. Он рабо