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 Computer Aided Verification of Automata project.

单词	Promela
释义	Promela 英语百科 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 Computer Aided Verification of Automata project.
随便看	inverted configuration inverted connection inverted converter inverted converter inverter inverted convertor inverted counterbore inverted crawl Inverted Cross inverted crosstalk inverted crucible inverted culture microscope inverted cup inverted curcible inverted cusp inverted cusp tooth inverted cyclotron inverted cylinder inverted delta wing inverted diameter ratio inverted die inverted difference inverted dip inverted direct act engine inverted directline inverted directory