文件名称：LTL3 tools-开源
文件大小：1.43MB
文件格式：GZ
更新时间：2024-07-18 15:32:47
开源软件
一组工具，可用于从 LTL 公式生成监视器（“看门狗”）。 这在运行时验证领域是已知的。 有关更多信息，请参阅相关的项目主页。
【文件预览】：
ltl3tools-0.0.8
----THANKS(170B)
----bin()
--------extractalphabet(1.01MB)
--------nevertofsm(1.05MB)
--------fsmcrossprod(1004KB)
--------formulatosymbols(977KB)
----ltl2mon(2KB)
----.git()
--------index(3KB)
--------hooks()
--------config(274B)
--------description(73B)
--------refs()
--------branches()
--------logs()
--------packed-refs(114B)
--------objects()
--------info()
--------COMMIT_EDITMSG(1KB)
--------HEAD(23B)
--------FETCH_HEAD(107B)
----test-suite()
--------reference-gnuplot.dat(918B)
--------reference-gnuplot-l.dat(535B)
--------gnuplot.dat(918B)
--------plot.p(443B)
--------HOWTO(2KB)
--------start.sh(3KB)
--------rv_properties.txt(14KB)
----src()
--------declarations.ml(851B)
--------mutils.ml(4KB)
--------getopt.ml(3KB)
--------extractalphabet.ml(2KB)
--------nevertofsm.ml(6KB)
--------minimise.ml(7KB)
--------neverp.mly(3KB)
--------dot.ml(2KB)
--------ocamlweb.sty(7KB)
--------alphabet.ml(2KB)
--------gutils.ml(4KB)
--------formulatosymbols.ml(2KB)
--------Makefile(1KB)
--------fsmcrossprod.ml(8KB)
--------config.ml(1KB)
--------neverl.mll(2KB)
--------putils.ml(6KB)
----README(2KB)
----AUTHORS(35B)
----Makefile(977B)
----third-party()
----NEWS(2KB)
----ChangeLog(5KB)
----COPYING(18KB)