Prinzipien des Spin Model Checkers - Ein einführender Leitfaden

Grundsätze des Spin Model Checkers (Mordechai Ben-Ari)

Leserbewertungen

Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 2 Stimmen.

Originaltitel:

Principles of the Spin Model Checker

Inhalt des Buches:

Principles of Spin ist ein Einführungsbuch, für das lediglich Programmierkenntnisse erforderlich sind.

Die Spin-Modelle sind in der Sprache Promela geschrieben, die von Studenten und Programmierern leicht erlernt werden kann. Spin ist einfach zu installieren und zu benutzen.

Der Spin Model Checker ist nicht nur ein weit verbreitetes professionelles Werkzeug, sondern auch ein hervorragendes Werkzeug für die Lehre wichtiger Konzepte der Informatik wie Verifikation, Nebenläufigkeit und Nichtdeterminismus. Das Buch stellt Spin-basierte Software vor, die der Autor für den Unterricht entwickelt hat: jSpin - eine integrierte Entwicklungsumgebung für Spin. SpinSpider - verwendet die Ausgaben von Spin, um automatisch Zustandsdiagramme von nebenläufigen Programmen zu erstellen.

VN ist ein Werkzeug zur Visualisierung von Nichtdeterminismus. Vollständige Programme werden jedes Konstrukt und Konzept demonstrieren und diese Programme werden auf einer begleitenden Website verfügbar sein.