معرفی شرکت ها
spin_6.5.2+dfsg-1_armhf.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
formal software verification tool
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Bookworm-12 |
| مخزن | Debian main armhf |
| نام بسته | spin |
| نام فایل بسته | spin_6.5.2+dfsg-1_armhf.deb |
| نسخه بسته | 6.5.2+dfsg |
| انتشار بسته | 1 |
| معماری بسته | armhf |
| نگهدارنده | Tom Lee <debian@tomlee.co> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | http://spinroot.com |
| مجوز | - |
| حجم دانلود | 388268 |
| حجم نصب | 1102 |
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.
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| spin_6.5.2+dfsg-1_amd64.deb | 6.5.2+dfsg | amd64 | Debian main |
| spin_6.5.2+dfsg-1_arm64.deb | 6.5.2+dfsg | arm64 | Debian main |
| spin_6.5.2+dfsg-1_armel.deb | 6.5.2+dfsg | armel | Debian main |
| spin_6.5.2+dfsg-1_i386.deb | 6.5.2+dfsg | i386 | Debian main |
| spin_6.5.2+dfsg-1_mips64el.deb | 6.5.2+dfsg | mips64el | Debian main |
| spin_6.5.2+dfsg-1_mipsel.deb | 6.5.2+dfsg | mipsel | Debian main |
| spin_6.5.2+dfsg-1_ppc64el.deb | 6.5.2+dfsg | ppc64el | Debian main |
| spin_6.5.2+dfsg-1_s390x.deb | 6.5.2+dfsg | s390x | Debian main |
| spinner_1.2.4-6_amd64.deb | 1.2.4 | amd64 | Debian main |
| spinner_1.2.4-6_arm64.deb | 1.2.4 | arm64 | Debian main |
| spinner_1.2.4-6_armel.deb | 1.2.4 | armel | Debian main |
| spinner_1.2.4-6_armhf.deb | 1.2.4 | armhf | Debian main |
| spinner_1.2.4-6_i386.deb | 1.2.4 | i386 | Debian main |
| spinner_1.2.4-6_mips64el.deb | 1.2.4 | mips64el | Debian main |
| spinner_1.2.4-6_mipsel.deb | 1.2.4 | mipsel | Debian main |
| spinner_1.2.4-6_ppc64el.deb | 1.2.4 | ppc64el | Debian main |
| spinner_1.2.4-6_s390x.deb | 1.2.4 | s390x | Debian main |
نیازمندی
| مقدار | نام |
|---|---|
| >= 2.7 | libc6 |
نحوه نصب
نصب پکیج deb spin:
sudo apt-get install spin_6.5.2+dfsg-1_armhf.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 |