SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings (Lecture Notes in Computer Science, 1885, Band 1885)
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
Das Buch "SPIN Model Checking and Software Verification" dokumentiert die Beiträge des 7. Internationalen SPIN Workshops, der vom 30. August bis 1. September 2000 in Stanford, Kalifornien stattfand. Der Workshop bietet Forschern eine Plattform, um sich mit automatenbasierten, expliziten Modellprüftechnologien zu befassen, die zur Analyse und Verifizierung asynchroner, nebenläufiger und verteilter Systeme eingesetzt werden. Im Mittelpunkt steht das SPIN-Tool, entwickelt von Gerard Holzmann, das bekannt für seine effizienten Algorithmen zur Zustandserkundung ist und eine große Nutzergemeinschaft angezogen hat. Das SPIN-Tool verwendet die Modellierungssprache Promela, die einer Programmiersprache ähnelt und dadurch zur Popularität beigetragen hat. In diesem Jahr wurde der Fokus des Workshops erweitert, um auch Beiträge zur Softwareverifikation einzubeziehen. Einige Arbeiten widmen sich der Analyse und Verifizierung von Programmen in konventionellen Programmiersprachen durch Übersetzungen nach Promela oder speziell entworfene Modellprüfer für Quellcode. Diese Forschung öffnet neue Perspektiven für formale Methoden und stellt neue Herausforderungen dar. Abstraktion wird als Schlüsselstrategie angesehen, um mit großen Zustandsräumen umzugehen. Der Workshop erkundet zudem die Integration von Modellprüfung mit statischer Programmanalyse und Testtechniken. Die Proceedings enthalten daher auch Arbeiten zu diesen Themenbereichen.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Entdecke mehr vom Verlag
