معرفی شرکت ها
rumur_2022.08.20-1_s390x.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
model checker for the Murphi language
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Bookworm-12 |
| مخزن | Debian main s390x |
| نام بسته | rumur |
| نام فایل بسته | rumur_2022.08.20-1_s390x.deb |
| نسخه بسته | 2022.08.20 |
| انتشار بسته | 1 |
| معماری بسته | s390x |
| نگهدارنده | Matthew Fernandez <matthew.fernandez@gmail.com> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | https://github.com/Smattr/rumur |
| مجوز | - |
| حجم دانلود | 846852 |
| حجم نصب | 6777 |
Rumur is a model checker for use in the formal verification of finite state
machines specified in the Murphi modelling language. It is based on a previous
tool, CMurphi, and attempts to provide an approximate drop-in replacement for
CMurphi.
.
Rumur works by reading an input file describing a collection of state variables
and transition rules, from which it generates a C program to verify safety and
security properties of this state machine. The generated verifier works by
exhaustively exploring the state space, checking for violation of invariants or
deadlocks.
.
In comparison to CMurphi, Rumur generates a verifier that runs significantly
faster and uses less memory on large input problems. Rumur comes with an
optional wrapper script, rumur-run, that streamlines the process of generating
a verifier, compiling it, and then running it. This wrapper requires Python.
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| rumur_2022.08.20-1_amd64.deb | 2022.08.20 | amd64 | Debian main |
| rumur_2022.08.20-1_arm64.deb | 2022.08.20 | arm64 | Debian main |
| rumur_2022.08.20-1_armel.deb | 2022.08.20 | armel | Debian main |
| rumur_2022.08.20-1_armhf.deb | 2022.08.20 | armhf | Debian main |
| rumur_2022.08.20-1_i386.deb | 2022.08.20 | i386 | Debian main |
| rumur_2022.08.20-1_mips64el.deb | 2022.08.20 | mips64el | Debian main |
| rumur_2022.08.20-1_mipsel.deb | 2022.08.20 | mipsel | Debian main |
| rumur_2022.08.20-1_ppc64el.deb | 2022.08.20 | ppc64el | Debian main |
نیازمندی
| مقدار | نام |
|---|---|
| >= 2.34 | libc6 |
| >= 3.0 | libgcc-s1 |
| >= 2:6.2.1+dfsg1 | libgmp10 |
| >= 2:6.2.1+dfsg1 | libgmpxx4ldbl |
| >= 11 | libstdc++6 |
نحوه نصب
نصب پکیج deb rumur:
sudo apt-get install rumur_2022.08.20-1_s390x.deb
فایل ها
| مسیرها |
|---|
| ./usr/bin/murphi2c |
| ./usr/bin/murphi2murphi |
| ./usr/bin/murphi2uclid |
| ./usr/bin/murphi2xml |
| ./usr/bin/rumur |
| ./usr/bin/rumur-run |
| ./usr/include/rumur/Boolean.h |
| ./usr/include/rumur/Comment.h |
| ./usr/include/rumur/Decl.h |
| ./usr/include/rumur/Expr.h |
| ./usr/include/rumur/Function.h |
| ./usr/include/rumur/Model.h |
| ./usr/include/rumur/Node.h |
| ./usr/include/rumur/Number.h |
| ./usr/include/rumur/Property.h |
| ./usr/include/rumur/Ptr.h |
| ./usr/include/rumur/Rule.h |
| ./usr/include/rumur/Stmt.h |
| ./usr/include/rumur/Symtab.h |
| ./usr/include/rumur/TypeExpr.h |
| ./usr/include/rumur/except.h |
| ./usr/include/rumur/indexer.h |
| ./usr/include/rumur/location.hh |
| ./usr/include/rumur/parse.h |
| ./usr/include/rumur/parser.yy.hh |
| ./usr/include/rumur/position.hh |
| ./usr/include/rumur/resolve-symbols.h |
| ./usr/include/rumur/rumur-get-version.h |
| ./usr/include/rumur/rumur.h |
| ./usr/include/rumur/sanitise_rule_names.h |
| ./usr/include/rumur/scanner.h |
| ./usr/include/rumur/stack.hh |
| ./usr/include/rumur/traverse.h |
| ./usr/include/rumur/validate.h |
| ./usr/lib/s390x-linux-gnu/librumur.a |
| ./usr/share/doc/rumur/README.rst |
| ./usr/share/doc/rumur/changelog.Debian.gz |
| ./usr/share/doc/rumur/changelog.gz |
| ./usr/share/doc/rumur/copyright |
| ./usr/share/doc/rumur/vs-cmurphi.rst.gz |
| ./usr/share/man/man1/murphi2c.1.gz |
| ./usr/share/man/man1/murphi2murphi.1.gz |
| ./usr/share/man/man1/murphi2uclid.1.gz |
| ./usr/share/man/man1/murphi2xml.1.gz |
| ./usr/share/man/man1/rumur-run.1.gz |
| ./usr/share/man/man1/rumur.1.gz |