[ Source: spin ]
Package: spin (6.5.2+dfsg-1)
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.14) [amd64]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.17) [arm64, ppc64el]
- dep: libc6 (>= 2.7) [not amd64, arm64, ppc64el]
Download spin
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 434.8 kB | 1,543.0 kB | [list of files] |
| arm64 | 416.0 kB | 1,575.0 kB | [list of files] |
| armel | 377.0 kB | 1,210.0 kB | [list of files] |
| armhf | 379.2 kB | 1,102.0 kB | [list of files] |
| i386 | 407.5 kB | 1,267.0 kB | [list of files] |
| mips64el | 387.4 kB | 1,603.0 kB | [list of files] |
| mipsel | 384.8 kB | 1,280.0 kB | [list of files] |
| ppc64el | 435.3 kB | 1,699.0 kB | [list of files] |
| s390x | 406.3 kB | 1,579.0 kB | [list of files] |