PROMELA
Wikipedia English The Free EncyclopediaDownload this dictionary
Promela
PROMELA (Process or Protocol Meta Language) is a verification modeling language. The language allows for the dynamic creation of concurrent processes to model, for example, distributed systems. In PROMELA models, communication via message channels can be defined to be synchronous (i.e., rendezvous), or asynchronous (i.e., buffered). PROMELA models can be analyzed with the SPIN model checker, to verify that the modeled system produces the desired behavior.

See more at Wikipedia.org...


© This article uses material from Wikipedia® and is licensed under the GNU Free Documentation License and under the Creative Commons Attribution-ShareAlike License
Wikipedia Deutsch Die freie EnzyklopädieDownload this dictionary
PROMELA
PROMELA (Process/Protocol Meta Language) ist eine Spezifikationssprache, die synchrone und asynchrone verteilte Algorithmen und Protokolle mittels nichtdeterministischerendlicher Automaten beschreibt. PROMELA wird hauptsächlich im Bereich der Verifikation eingesetzt, zum Beispiel im Modellprüfer SPIN.

Mehr unter Wikipedia.org...


© Dieser Eintrag beinhaltet Material aus Wikipedia und ist lizensiert auf GNU-Lizenz für freie Dokumentation
Wikipédia FrançaisDownload this dictionary
PROMELA
PROMELA (PROtocol MEta LAnguage) est un langage de spécification de systèmes asynchrones. Ce qui en d'autres termes veut dire que ce langage permet la description de systèmes concurrents, comme les protocoles de communication. Il autorise la création dynamique de processus. La communication entre ces différents processus peut se faire en partageant les variables globales ou alors en utilisant des canaux de communication. On peut ainsi simuler des communications synchrones ou asynchrones.

Pour la suite, voir Wikipédia.org…


© Cet article se sert du contenu de Wikipédia® et est autorisé sous les termes de la Licence de Documentation libre GNU

| PROMELA in English | PROMELA in French | PROMELA in German