معرفی شرکت ها
spin_6.5.2+dfsg-1_amd64.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
formal software verification tool
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Ubuntu Jammy-22.04 |
| مخزن | Ubuntu universe amd64 |
| نام بسته | spin |
| نام فایل بسته | spin_6.5.2+dfsg-1_amd64.deb |
| نسخه بسته | 6.5.2+dfsg |
| انتشار بسته | 1 |
| معماری بسته | amd64 |
| نگهدارنده | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | http://spinroot.com |
| مجوز | - |
| حجم دانلود | 446136 |
| حجم نصب | 1543 |
Spin is a popular open-source software verification tool, used by thousands
of people worldwide. The tool can be used for the formal verification of
multi-threaded software applications. The tool was developed at Bell Labs
in the Unix group of the Computing Sciences Research Center, starting in 1980.
.
The software has been available freely since 1991, and continues to evolve to
keep pace with new developments.
.
In April 2002 the tool was awarded the ACM System Software Award.
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| spinner_1.2.4-6_amd64.deb | 1.2.4 | amd64 | Ubuntu universe |
نیازمندی
| مقدار | نام |
|---|---|
| >= 2.14 | libc6 |
نحوه نصب
نصب پکیج deb spin:
sudo apt-get install spin_6.5.2+dfsg-1_amd64.deb
فایل ها
| مسیرها |
|---|
| ./usr/bin/spin |
| ./usr/share/doc/spin/README.md.gz |
| ./usr/share/doc/spin/V1.Updates.gz |
| ./usr/share/doc/spin/V2.Updates.gz |
| ./usr/share/doc/spin/V3.Updates.gz |
| ./usr/share/doc/spin/V4.Updates.gz |
| ./usr/share/doc/spin/V5.Updates.gz |
| ./usr/share/doc/spin/V6.Updates.gz |
| ./usr/share/doc/spin/changelog.Debian.gz |
| ./usr/share/doc/spin/copyright |
| ./usr/share/doc/spin/examples/Examples/Book_1991/App.F.datalink.h |
| ./usr/share/doc/spin/examples/Examples/Book_1991/App.F.defines.h |
| ./usr/share/doc/spin/examples/Examples/Book_1991/App.F.flow_cl.h |
| ./usr/share/doc/spin/examples/Examples/Book_1991/App.F.fserver.h |
| ./usr/share/doc/spin/examples/Examples/Book_1991/App.F.pftp.pml |
| ./usr/share/doc/spin/examples/Examples/Book_1991/App.F.present.h |
| ./usr/share/doc/spin/examples/Examples/Book_1991/App.F.session.h |
| ./usr/share/doc/spin/examples/Examples/Book_1991/App.F.user.h |
| ./usr/share/doc/spin/examples/Examples/Book_1991/README.txt |
| ./usr/share/doc/spin/examples/Examples/Book_1991/p101.pml |
| ./usr/share/doc/spin/examples/Examples/Book_1991/p102.pml |
| ./usr/share/doc/spin/examples/Examples/Book_1991/p104.1.pml |
| ./usr/share/doc/spin/examples/Examples/Book_1991/p104.2.pml |
| ./usr/share/doc/spin/examples/Examples/Book_1991/p105.1.pml |
| ./usr/share/doc/spin/examples/Examples/Book_1991/p105.2.pml |
| ./usr/share/doc/spin/examples/Examples/Book_1991/p107.pml |
| ./usr/share/doc/spin/examples/Examples/Book_1991/p108.pml |
| ./usr/share/doc/spin/examples/Examples/Book_1991/p116.pml |
| ./usr/share/doc/spin/examples/Examples/Book_1991/p117.pml |
| ./usr/share/doc/spin/examples/Examples/Book_1991/p123.pml |
| ./usr/share/doc/spin/examples/Examples/Book_1991/p248.pml |
| ./usr/share/doc/spin/examples/Examples/Book_1991/p312.pml |
| ./usr/share/doc/spin/examples/Examples/Book_1991/p319.pml |
| ./usr/share/doc/spin/examples/Examples/Book_1991/p320.pml |
| ./usr/share/doc/spin/examples/Examples/Book_1991/p325.test.h |
| ./usr/share/doc/spin/examples/Examples/Book_1991/p327.upper.h |
| ./usr/share/doc/spin/examples/Examples/Book_1991/p329.pml |
| ./usr/share/doc/spin/examples/Examples/Book_1991/p330.pml |
| ./usr/share/doc/spin/examples/Examples/Book_1991/p337.defines2.h |
| ./usr/share/doc/spin/examples/Examples/Book_1991/p337.fserver.h |
| ./usr/share/doc/spin/examples/Examples/Book_1991/p337.pftp.ses.pml |
| ./usr/share/doc/spin/examples/Examples/Book_1991/p337.session.h |
| ./usr/share/doc/spin/examples/Examples/Book_1991/p337.user.h |
| ./usr/share/doc/spin/examples/Examples/Book_1991/p342.pftp.ses1.h |
| ./usr/share/doc/spin/examples/Examples/Book_1991/p343.claim.h |
| ./usr/share/doc/spin/examples/Examples/Book_1991/p347.pftp.ses5.pml |
| ./usr/share/doc/spin/examples/Examples/Book_1991/p347.pres.sim.h |
| ./usr/share/doc/spin/examples/Examples/Book_1991/p347.session.prog.h |
| ./usr/share/doc/spin/examples/Examples/Book_1991/p94.pml |
| ./usr/share/doc/spin/examples/Examples/Book_1991/p95.1.pml |
| ... and 60 more |