首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > 其他 > Translator from property specification language (PSL) formulas to Büchi automata.

Translator from property specification language (PSL) formulas to Büchi automata.

资 源 简 介

What is it? The psl2ba tool translates formulas of the IEEE standard "Property Specification Language" (PSL) into Büchi automata. These automata are used in the model checkers NuSMV, SMV, or SPIN. Features The translator supports the linear-time logics LTL and PSL with past operators. The output of psl2ba can be used in the symblic model checker NuSMV. For further information see the README.TXT file in the package.

文 件 列 表

psl2ba
bin
cudd-2.4.2
doc
extlib-1.5
LICENSE.TXT
Makefile
obj
README.TXT
src
test
VERSION.TXT
wrapper

相 关 资 源

您 可 能 感 兴 趣 的

同 类 别 推 荐

VIP VIP
0.329638s