[ 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:
Formelt verifikationsværkøj for programmer
Spin er et populært verifikationsværktøj til programmer, brugt af tusindvis af folk over hele verden. Værktøjet kan bruges til den formelle verifikation af flertrådede programanvendelser. Værktøjet blev udviklet på Bell Labs i Unixgruppen for Computing Sciences Research Center, startende i i 1980.
Programmet har været frit tilgængeligt siden 1991 og fortsætter med at ud udvikle sig for at kunne følge med nye udviklinger.
I april 2002 blev værktøjet tildelt ACM System Software Award.
Other Packages Related to spin
|
|
|
|
-
- dep: libc6 (>= 2.14) [amd64]
- GNU C-bibliotek: Delte biblioteker
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] |