Formale Modelle der Softwareentwicklung Model-Checking, Verifikation, Analyse und Simulation
Software muss funktionieren, um von Kunden akzeptiert zu werden. Doch wie stellt man sicher, dass die Steuerung eines Raumschiffs, eines Herzschrittmachers oder einer Aktienverwaltung korrekt funktioniert? Neben den klassischen Testansätzen spielen für den Korrektheitsnachweis zunehmend formale Mode...
Main Author: | |
---|---|
Format: | eBook |
Language: | German |
Published: |
Wiesbaden
Vieweg+Teubner Verlag
2009, 2009
|
Edition: | 1st ed. 2009 |
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- Motivation von Formalen Modellen
- Modelchecking mit PROMELA und SPIN
- Modelchecking mit Timed Automata und Uppaal
- Petrinetze
- Programmverifikation
- Installationsbeschreibungen
- Kurzeinführung in Java