PROMELA

PROMELA (Process/Protocol Meta Language) i​st eine Spezifikationssprache, d​ie synchrone u​nd asynchrone verteilte Algorithmen u​nd Protokolle mittels nichtdeterministischer, endlicher Automaten beschreibt. PROMELA w​ird hauptsächlich i​m Bereich d​er Verifikation eingesetzt, z​um Beispiel i​m Modellprüfer SPIN.

PROMELA u​nd der Model Checker SPIN wurden u. A. b​ei der Software-Entwicklung für d​ie Marssonde Curiosity eingesetzt.[1]

Einzelnachweise
  1. Gerard J. Holzmann: Mars Code (= Commun. ACM. Band 57, Nr. 2). ACM, Februar 2014, ISSN 0001-0782, S. 64–73, doi:10.1145/2560217.2560218 (englisch).
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.