[ Source: spin ]
Package: spin (6.5.2+dfsg-2 and others)
Links for spin
Debian Resources:
Download Source Package spin:
Maintainers:
External Resources:
- Homepage [spinroot.com]
Similar packages:
strumento per verifica formale del software
Spin è un popolare strumento open source per la verifica del software usato da migliaia di persone nel mondo. Questo strumento può essere usato per la verifica formale di applicazioni software con multi-thread. Questo strumento è stato sviluppato presso i Bell Labs nel gruppo Unix del Computing Sciences Research Center a partire dal 1980.
Questo software è disponibile liberamente dal 1991 e continua ad evolversi per mantenere il passo con i nuovi sviluppi.
Nell'aprile 2002 questo strumento ha vinto l'ACM System Software Award.
Other Packages Related to spin
|
|
|
|
-
- dep: libc6 (>= 2.38) [not alpha, ia64, loong64, sh4]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.40) [loong64, sh4]
-
- dep: libc6.1 (>= 2.30) [ia64]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6.1-udeb
- dep: libc6.1 (>= 2.38) [alpha]
Download spin
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha (unofficial port) | 6.5.2+dfsg-2 | 381.3 kB | 1,251.0 kB | [list of files] |
| amd64 | 6.5.2+dfsg-2 | 442.3 kB | 1,559.0 kB | [list of files] |
| arm64 | 6.5.2+dfsg-2 | 421.3 kB | 1,635.0 kB | [list of files] |
| armel | 6.5.2+dfsg-2 | 383.1 kB | 1,222.0 kB | [list of files] |
| armhf | 6.5.2+dfsg-2 | 385.4 kB | 1,118.0 kB | [list of files] |
| hppa (unofficial port) | 6.5.2+dfsg-2 | 375.3 kB | 1,075.0 kB | [list of files] |
| i386 | 6.5.2+dfsg-2 | 410.8 kB | 1,275.0 kB | [list of files] |
| ia64 (unofficial port) | 6.5.2+dfsg-1 | 475.1 kB | 2,035.0 kB | [list of files] |
| loong64 (unofficial port) | 6.5.2+dfsg-2 | 425.9 kB | 1,619.0 kB | [list of files] |
| m68k (unofficial port) | 6.5.2+dfsg-2 | 410.8 kB | 1,270.0 kB | [list of files] |
| mips64el | 6.5.2+dfsg-2 | 390.4 kB | 1,590.0 kB | [list of files] |
| ppc64 (unofficial port) | 6.5.2+dfsg-2 | 432.0 kB | 1,763.0 kB | [list of files] |
| ppc64el | 6.5.2+dfsg-2 | 439.6 kB | 1,699.0 kB | [list of files] |
| riscv64 | 6.5.2+dfsg-2 | 415.0 kB | 1,547.0 kB | [list of files] |
| s390x | 6.5.2+dfsg-2 | 424.1 kB | 1,591.0 kB | [list of files] |
| sh4 (unofficial port) | 6.5.2+dfsg-2 | 443.3 kB | 1,247.0 kB | [list of files] |
| sparc64 (unofficial port) | 6.5.2+dfsg-2 | 383.6 kB | 2,468.0 kB | [list of files] |
| x32 (unofficial port) | 6.5.2+dfsg-2 | 441.7 kB | 1,279.0 kB | [list of files] |