معرفی شرکت ها

rumur_2020.02.17-1_amd64.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

model checker for the Murphi language
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Focal-20.04
مخزن Ubuntu universe amd64
نام بسته rumur
نام فایل بسته rumur_2020.02.17-1_amd64.deb
نسخه بسته 2020.02.17
انتشار بسته 1
معماری بسته amd64
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://github.com/Smattr/rumur
مجوز -
حجم دانلود 576648
حجم نصب 3901
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.


نیازمندی

مقدار نام
>= 2.15 libc6
>= 3.0 libgcc-s1
- libgmp10
- libgmpxx4ldbl
>= 9 libstdc++6


نحوه نصب


نصب پکیج deb rumur:

    sudo apt-get install rumur_2020.02.17-1_amd64.deb


فایل ها

مسیرها
./usr/bin/murphi2xml
./usr/bin/rumur
./usr/bin/rumur-run
./usr/include/rumur/Boolean.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/scanner.h
./usr/include/rumur/stack.hh
./usr/include/rumur/traverse.h
./usr/include/rumur/validate.h
./usr/lib/x86_64-linux-gnu/librumur.a
./usr/share/doc/rumur/README.rst
./usr/share/doc/rumur/changelog.Debian.gz
./usr/share/doc/rumur/copyright
./usr/share/doc/rumur/vs-cmurphi.rst.gz
./usr/share/man/man1/murphi2xml.1.gz
./usr/share/man/man1/rumur-run.1.gz
./usr/share/man/man1/rumur.1.gz