معرفی شرکت ها


mona_1.4-17-2_mipsel.deb


Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

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/.


جایگزین ها

بسته نسخه معماری مخزن
mona_1.4-17-2_amd64.deb 1.4 amd64 Debian main
mona_1.4-17-2_arm64.deb 1.4 arm64 Debian main
mona_1.4-17-2_armel.deb 1.4 armel Debian main
mona_1.4-17-2_armhf.deb 1.4 armhf Debian main
mona_1.4-17-2_i386.deb 1.4 i386 Debian main
mona_1.4-17-2_mips64el.deb 1.4 mips64el Debian main
mona_1.4-17-2_ppc64el.deb 1.4 ppc64el Debian main
mona_1.4-17-2_s390x.deb 1.4 s390x Debian main
monado-cli_21.0.0~dfsg1-1_amd64.deb 21.0.0~dfsg1 amd64 Debian main
monado-cli_21.0.0~dfsg1-1_arm64.deb 21.0.0~dfsg1 arm64 Debian main
monado-cli_21.0.0~dfsg1-1_armel.deb 21.0.0~dfsg1 armel Debian main
monado-cli_21.0.0~dfsg1-1_armhf.deb 21.0.0~dfsg1 armhf Debian main
monado-cli_21.0.0~dfsg1-1_i386.deb 21.0.0~dfsg1 i386 Debian main
monado-cli_21.0.0~dfsg1-1_mips64el.deb 21.0.0~dfsg1 mips64el Debian main
monado-cli_21.0.0~dfsg1-1_mipsel.deb 21.0.0~dfsg1 mipsel Debian main
monado-cli_21.0.0~dfsg1-1_ppc64el.deb 21.0.0~dfsg1 ppc64el Debian main
monado-cli_21.0.0~dfsg1-1_s390x.deb 21.0.0~dfsg1 s390x Debian main
monado-gui_21.0.0~dfsg1-1_amd64.deb 21.0.0~dfsg1 amd64 Debian main
monado-gui_21.0.0~dfsg1-1_arm64.deb 21.0.0~dfsg1 arm64 Debian main
monado-gui_21.0.0~dfsg1-1_armel.deb 21.0.0~dfsg1 armel Debian main
monado-gui_21.0.0~dfsg1-1_armhf.deb 21.0.0~dfsg1 armhf Debian main
monado-gui_21.0.0~dfsg1-1_i386.deb 21.0.0~dfsg1 i386 Debian main
monado-gui_21.0.0~dfsg1-1_mips64el.deb 21.0.0~dfsg1 mips64el Debian main
monado-gui_21.0.0~dfsg1-1_mipsel.deb 21.0.0~dfsg1 mipsel Debian main
monado-gui_21.0.0~dfsg1-1_ppc64el.deb 21.0.0~dfsg1 ppc64el Debian main
monado-gui_21.0.0~dfsg1-1_s390x.deb 21.0.0~dfsg1 s390x Debian main
monado-service_21.0.0~dfsg1-1_amd64.deb 21.0.0~dfsg1 amd64 Debian main
monado-service_21.0.0~dfsg1-1_arm64.deb 21.0.0~dfsg1 arm64 Debian main
monado-service_21.0.0~dfsg1-1_armel.deb 21.0.0~dfsg1 armel Debian main
monado-service_21.0.0~dfsg1-1_armhf.deb 21.0.0~dfsg1 armhf Debian main
monado-service_21.0.0~dfsg1-1_i386.deb 21.0.0~dfsg1 i386 Debian main
monado-service_21.0.0~dfsg1-1_mips64el.deb 21.0.0~dfsg1 mips64el Debian main
monado-service_21.0.0~dfsg1-1_mipsel.deb 21.0.0~dfsg1 mipsel Debian main
monado-service_21.0.0~dfsg1-1_ppc64el.deb 21.0.0~dfsg1 ppc64el Debian main
monado-service_21.0.0~dfsg1-1_s390x.deb 21.0.0~dfsg1 s390x Debian main
monajat-applet_4.1-2_all.deb 4.1 all Debian main
monajat-data_4.1-2_all.deb 4.1 all Debian main
monajat-mod_4.1-2_all.deb 4.1 all Debian main
monajat-screenlet_4.1-2_all.deb 4.1 all Debian main


نیازمندی

مقدار نام
>= 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