معرفی شرکت ها
mona_1.4-17-2_mipsel.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
theorem prover based on automata
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Bullseye-11 |
| مخزن | Debian main mipsel |
| نام بسته | mona |
| نام فایل بسته | mona_1.4-17-2_mipsel.deb |
| نسخه بسته | 1.4 |
| انتشار بسته | 17 |
| معماری بسته | mipsel |
| نگهدارنده | Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | http://www.brics.dk/~amoeller/mona/index.html |
| مجوز | - |
| حجم دانلود | 291984 |
| حجم نصب | 1432 |
MONA is a tool that translates formulas in the logics WS1S or WS2S
into finite-state automata represented by BDDs. The formulas may
express search patterns, temporal properties of reactive systems,
parse tree constraints, etc. MONA also analyses the automaton
resulting from the compilation, and determines whether the formula is
valid and, if the formula is not valid, generates a counter-example.
.
Documentation is available from the MONA website http://www.brics.dk/mona/.
جایگزین ها
نیازمندی
| مقدار | نام |
|---|---|
| >= 2.7 | libc6 |
| >= 1:3.0 | libgcc1 |
| >= 5 | libstdc++6 |
نحوه نصب
نصب پکیج deb mona:
sudo apt-get install mona_1.4-17-2_mipsel.deb
فایل ها
| مسیرها |
|---|
| ./etc/emacs/site-start.d/50mona.el |
| ./usr/bin/dfa2dot |
| ./usr/bin/gta2dot |
| ./usr/bin/mona |
| ./usr/include/mona/bdd.h |
| ./usr/include/mona/config.h |
| ./usr/include/mona/dfa.h |
| ./usr/include/mona/dlmalloc.h |
| ./usr/include/mona/gnuc.h |
| ./usr/include/mona/gta.h |
| ./usr/include/mona/mem.h |
| ./usr/lib/emacsen-common/packages/install/mona |
| ./usr/lib/emacsen-common/packages/remove/mona |
| ./usr/lib/mipsel-linux-gnu/libmonabdd.a |
| ./usr/lib/mipsel-linux-gnu/libmonabdd.so.1.0.4 |
| ./usr/lib/mipsel-linux-gnu/libmonadfa.a |
| ./usr/lib/mipsel-linux-gnu/libmonadfa.so.1.0.4 |
| ./usr/lib/mipsel-linux-gnu/libmonagta.a |
| ./usr/lib/mipsel-linux-gnu/libmonagta.so.1.0.4 |
| ./usr/lib/mipsel-linux-gnu/libmonamem.a |
| ./usr/lib/mipsel-linux-gnu/libmonamem.so.1.0.4 |
| ./usr/share/doc/mona/changelog.Debian.gz |
| ./usr/share/doc/mona/changelog.gz |
| ./usr/share/doc/mona/copyright |
| ./usr/share/doc/mona/examples/Examples/ab1.mona |
| ./usr/share/doc/mona/examples/Examples/ab2.mona |
| ./usr/share/doc/mona/examples/Examples/bdd_example.c |
| ./usr/share/doc/mona/examples/Examples/bdd_volatility |
| ./usr/share/doc/mona/examples/Examples/even.mona |
| ./usr/share/doc/mona/examples/Examples/even_with_assert.mona |
| ./usr/share/doc/mona/examples/Examples/even_with_pred.mona |
| ./usr/share/doc/mona/examples/Examples/gta_example.c |
| ./usr/share/doc/mona/examples/Examples/html.mona |
| ./usr/share/doc/mona/examples/Examples/hyman.mona |
| ./usr/share/doc/mona/examples/Examples/lossy_queue.mona |
| ./usr/share/doc/mona/examples/Examples/makefile |
| ./usr/share/doc/mona/examples/Examples/makefile.am |
| ./usr/share/doc/mona/examples/Examples/makefile.in |
| ./usr/share/doc/mona/examples/Examples/minusmodulo.mona |
| ./usr/share/doc/mona/examples/Examples/nadder.mona |
| ./usr/share/doc/mona/examples/Examples/plusmodulo.mona |
| ./usr/share/doc/mona/examples/Examples/presburger.mona |
| ./usr/share/doc/mona/examples/Examples/presburger_analysis.c |
| ./usr/share/doc/mona/examples/Examples/presburger_transduction.c |
| ./usr/share/doc/mona/examples/Examples/regexp.mona |
| ./usr/share/emacs/site-lisp/mona/mona-mode.el |
| ./usr/share/lintian/overrides/mona |
| ./usr/share/man/man1/mona.1.gz |
| ./usr/lib/mipsel-linux-gnu/libmonabdd.so -> libmonabdd.so.1.0.4 |
| ./usr/lib/mipsel-linux-gnu/libmonabdd.so.1 -> libmonabdd.so.1.0.4 |
| ./usr/lib/mipsel-linux-gnu/libmonadfa.so -> libmonadfa.so.1.0.4 |
| ./usr/lib/mipsel-linux-gnu/libmonadfa.so.1 -> libmonadfa.so.1.0.4 |
| ./usr/lib/mipsel-linux-gnu/libmonagta.so -> libmonagta.so.1.0.4 |
| ./usr/lib/mipsel-linux-gnu/libmonagta.so.1 -> libmonagta.so.1.0.4 |
| ./usr/lib/mipsel-linux-gnu/libmonamem.so -> libmonamem.so.1.0.4 |
| ./usr/lib/mipsel-linux-gnu/libmonamem.so.1 -> libmonamem.so.1.0.4 |