Promela
PROMELA (Process or Protocol Meta Language) is a verification modeling language introduced by Gerard J. Holzmann. 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. An implementation verified with Isabelle/HOL is also available, as part of the project. Files written in Promela traditionally have a .pml file extension.
Link from a Wikipage to another Wikipage
primaryTopic
Promela
PROMELA (Process or Protocol Meta Language) is a verification modeling language introduced by Gerard J. Holzmann. 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. An implementation verified with Isabelle/HOL is also available, as part of the project. Files written in Promela traditionally have a .pml file extension.
has abstract
PROMELA (PROtocol MEta LAnguag ...... la programmation informatique
@fr
PROMELA (Process or Protocol M ...... ly have a .pml file extension.
@en
PROMELA (Process/Protocol Meta ...... arssonde Curiosity eingesetzt.
@de
PROMELA (Process/Protocol Meta ...... roduca i risultati desiderati.
@it
PROMELA(Process or Protocol Me ...... 성된 파일은 일반적으로 .pml 파일 확장자를 가진다.
@ko
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
967,605,570
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
hypernym
type
comment
PROMELA (PROtocol MEta LAnguag ...... la programmation informatique
@fr
PROMELA (Process or Protocol M ...... ly have a .pml file extension.
@en
PROMELA (Process/Protocol Meta ...... arssonde Curiosity eingesetzt.
@de
PROMELA (Process/Protocol Meta ...... roduca i risultati desiderati.
@it
PROMELA(Process or Protocol Me ...... 성된 파일은 일반적으로 .pml 파일 확장자를 가진다.
@ko
label
PROMELA
@de
PROMELA
@fr
PROMELA
@it
Promela
@en
프로멜라
@ko