„PROMELA“ – Versionsunterschied
| [gesichtete Version] | [gesichtete Version] |
Inhalt gelöscht Inhalt hinzugefügt
tk k |
2ci2 (Diskussion | Beiträge) Wikilink zu einem speziellen Abschnitt in anderem Artikel eingefügt: Abstraktion -> Spezifikationsprachen |
||
Zeile 1:
{{Lückenhaft}}
'''PROMELA''' (Process/Protocol Meta Language) ist eine [[Abstraktion (Informatik)#Spezifikationssprachen|Spezifikationssprache]], die synchrone und asynchrone verteilte Algorithmen und Protokolle mittels [[Nichtdeterminismus|nichtdeterministischer]], [[endlicher Automat]]en beschreibt. PROMELA wird hauptsächlich im Bereich der [[Verifikation]] eingesetzt, zum Beispiel im [[Modellprüfer]] [[SPIN]].
PROMELA und der Model Checker [[SPIN]] wurden u. A. bei der Software-Entwicklung für die Marssonde [[Mars Science Laboratory|Curiosity]] eingesetzt.<ref name="Holzmann:2014:MC:2556647.2560218" />
| |||