https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=PROMELAPROMELA - Versionsgeschichte2026-06-01T12:18:32ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=PROMELA&diff=1681965&oldid=previmported>Invisigoth67: form2024-09-15T15:22:47Z<p>form</p>
<p><b>Neue Seite</b></p><div>{{Lückenhaft}}<br />
<br />
'''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]].<br />
<br />
PROMELA und der Model Checker [[SPIN]] wurden u.&nbsp;a. bei der Software-Entwicklung für die Marssonde [[Mars Science Laboratory|Curiosity]] eingesetzt.<ref name="Holzmann:2014:MC:2556647.2560218" /><br />
<br />
== Einzelnachweise ==<br />
<references><br />
<ref name="Holzmann:2014:MC:2556647.2560218"><br />
{{Literatur<br />
|Autor=Gerard J. Holzmann<br />
|Titel=Mars Code<br />
|Reihe=Commun. ACM<br />
|BandReihe=57<br />
|NummerReihe=2<br />
|Verlag=ACM<br />
|Ort=New York<br />
|Jahr=2014-02<br />
|ISSN=0001-0782<br />
|Seiten=64–73<br />
|Sprache=en<br />
|DOI=10.1145/2560217.2560218}}<br />
</ref><br />
</references><br />
<br />
[[Kategorie:Automatentheorie]]<br />
[[Kategorie:Abkürzung]]</div>imported>Invisigoth67