SPIN

SPIN

SPIN (ursprünglich ein Akronym für Simple PROMELA Interpreter) ist eines der bekanntesten Werkzeuge zur Modellprüfung (engl. Model Checking). SPIN prüft endliche Zustandsautomaten (engl. Finite State Machines) mit der temporalen Logik LTL. Zusätzlich bietet SPIN viele Optimierungsmethoden, zum Beispiel Partial Order Reduction, Komprimierungen und Bitstate Hashing.

Inhaltsverzeichnis

Geschichte

SPIN wurde 1980 von Gerard J. Holzmann entwickelt, anfangs am Computing Sciences Research Center der Bell Labs. Der Quellcode zu SPIN wurde 1991 unter einer eigenen Lizenz offengelegt.[1]

Der jährlich seit 1995 stattfindende SPIN Workshop behandelt mittlerweile nicht nur SPIN, sondern Modellprüfung im Allgemeinen.[2] Im Jahre 2001 wurde Holzmann für seine Arbeit an SPIN mit dem Software System Award der Association for Computing Machinery (ACM) ausgezeichnet.[3]

Siehe auch

Literatur und Weblinks

Einzelnachweise

  1. Lizenz von SPIN
  2. Vergangene SPIN-Workshops auf der SPIN-Website
  3. Software System Award auf acm.org

Wikimedia Foundation.

Игры ⚽ Поможем сделать НИР

Schlagen Sie auch in anderen Wörterbüchern nach:

  • spin — spin …   Dictionnaire des rimes

  • SPIN — On appelle «spin» le moment angulaire ou cinétique intrinsèque des particules quantiques ou quantons. Ce terme anglais évoque le mouvement de rotation propre que peuvent posséder les objets physiques, telles les planètes ou les balles de tennis,… …   Encyclopédie Universelle

  • Spin — (von englisch spin ‚Drehung‘, ‚Drall‘), auch Eigendrehimpuls, ist eine quantenmechanische Eigenschaft von Teilchen. Spin hat kein Pendant in der klassischen Physik, und somit können semi klassische Erklärungen und Analogien nicht vollständig …   Deutsch Wikipedia

  • spin — spin·ach; spin; spin·dle·age; spin·dle·ful; spin·dler; spin·dli·ness; spin·dly; spin·drift; spin·et; spin·i·ness; spin·na·bil·i·ty; spin·na·ble; spin·na·ker; spin·ner; spin·ner·et; spin·ner·ular; spin·ner·ule; spin·nery; spin·ney; spin·or;… …   English syllables

  • Spin — may refer to:* Rotation or spin, a movement of an object in a circular motion * Spin (physics) or particle spin, a fundamental property of elementary particles * Spin (flight), a special and often intense case of a stall * Spin (public relations) …   Wikipedia

  • Spin AG — Unternehmensform AG Gründung 1996 als GmbH Unternehmenssitz Regensburg, Deutschland Unternehmensleitung …   Deutsch Wikipedia

  • Spin.de — Spin AG Rechtsform AG Gründung 1996 als GmbH Sitz Regensburg, Deutschland Leitung Paul Schmid, Fabian Rott Mitarbeiter etwa …   Deutsch Wikipedia

  • Spin — (sp[i^]n), v. t. [imp. & p. p. {Spun}(Archaic imp. {Span}); p. pr. & vb. n. {Spinning}.] [AS. spinnan; akin to D. & G. spinnen, Icel. & Sw. spinna, Dan. spinde, Goth. spinnan, and probably to E. span. [root]170. Cf. {Span}, v. t., {Spider}.] 1.… …   The Collaborative International Dictionary of English

  • Spin-up — refers to the period of time taken by a traditional (non solid state) hard disk drive to accelerate its platters from a stopped state to an operational speed. The required operational speed depends on the design of the disk drive. Typical speeds… …   Wikipedia

  • Spin — Spin: Содержание 1 В математике 2 В вычислительной технике 3 В музыке …   Википедия

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”