معرفی شرکت ها


lbt_1.2.2-7_amd64.deb


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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

converts from LTL formulas to Büchi automata
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Jammy-22.04
مخزن Ubuntu universe amd64
نام بسته lbt
نام فایل بسته lbt_1.2.2-7_amd64.deb
نسخه بسته 1.2.2
انتشار بسته 7
معماری بسته amd64
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://www.tcs.hut.fi/Software/maria/tools/lbt/
مجوز -
حجم دانلود 30008
حجم نصب 99
This software converts a linear temporal logic (ltl) formula to a generalised Büchi automaton. The resulting automaton may be used, for instance, in model checking, where it represents a property to be verified from a model (e.g. a Petri net).


نیازمندی

مقدار نام
>= 2.14 libc6
>= 5 libstdc++6


نحوه نصب


نصب پکیج deb lbt:

    sudo apt-get install lbt_1.2.2-7_amd64.deb


فایل ها

مسیرها
./usr/bin/lbt
./usr/bin/lbt2dot
./usr/share/doc/lbt/changelog.Debian.gz
./usr/share/doc/lbt/copyright
./usr/share/doc/lbt/index.html
./usr/share/doc/lbt/notgp0-opt.png
./usr/share/doc/lbt/notgp0.png
./usr/share/doc-base/lbt
./usr/share/man/man1/lbt.1.gz
./usr/share/man/man1/lbt2dot.1.gz -> lbt.1.gz