[ Source: spin ]
Package: spin (6.5.2+dfsg-2)
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)
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
Download spin
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 442.3 kB | 1,559.0 kB | [list of files] |
| arm64 | 421.3 kB | 1,635.0 kB | [list of files] |
| armel | 383.1 kB | 1,222.0 kB | [list of files] |
| armhf | 385.4 kB | 1,118.0 kB | [list of files] |
| i386 | 410.8 kB | 1,275.0 kB | [list of files] |
| ppc64el | 439.6 kB | 1,699.0 kB | [list of files] |
| riscv64 | 415.0 kB | 1,547.0 kB | [list of files] |
| s390x | 424.1 kB | 1,591.0 kB | [list of files] |