This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources. Find sources: "Promela" – news · newspapers · books · scholar · JSTOR(July 2014)
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 (CAVA) project.[1][2] Files written in Promela traditionally have a .pml file extension.
^Neumann, René (17–18 July 2014). "Using Promela in a Fully Verified Executable LTL Model Checker" (PDF). VSTTE: Working Conference on Verified Software: Theories, Tools, and Experiments. LNCS. Vol. 8471. Vienna: Springer. pp. 105–114. Archived from the original (PDF) on 7 October 2015.
PROMELA (Process or Protocol Meta Language) is a verification modeling language introduced by Gerard J. Holzmann. The language allows for the dynamic...
Fathead minnow (Pimephales promelas), also known as fathead or tuffy, is a species of temperate freshwater fish belonging to the genus Pimephales of the...
new developments in the field. Systems to be verified are described in Promela (Process Meta Language), which supports modeling of asynchronous distributed...
Heliogomphus promelas is a species of dragonfly in the family Gomphidae. It is endemic to the Western Ghats of India. It is a medium-sized dragonfly with...
PowerShell PPL Processing Processing.js Prograph Project Verona Prolog PROMAL Promela PROSE modeling language PROTEL ProvideX Pro*C Pure Pure Data PureScript...
Modeling Language Generative Modelling Language Java Modeling Language Promela Rebeca Modeling Language Service Modeling Language Web Services Modeling...
system best used with a reactive system languages such as Statecharts, PROMELA, STeP-SPL, RSML or SCR rely on this paradigm Functional specification specify...
topsmelt (Atherinops affinis) and freshwater fathead minnow (Pimephales promelas), smoked cigarette filters + tobacco are more toxic than smoked cigarette...
Hamri; Claudia Frydman; et al. (September 2015). Towards an Extension of PROMELA for the Modeling, Simulation and Verification of Discrete-Event Systems...
communication systems. Plain MC: simple text-file formats used in MRMC and PRISM. Promela: Process or Protocol Meta Language; it is a verification modeling language...
life-cycle tests on fish were developed for the fathead minnow (Pimephales promelas), and later for bluegill (Lepomis macrochirus), brook trout (Salvelinus...
life stage (ELS) toxicity of sucralose to fathead minnows, Pimephales promelas". Bulletin of Environmental Contamination and Toxicology. 93 (4): 383–387...
fauna can tolerate TDS levels of 1000 mg/L. The fathead minnow (Pimephales promelas), for example, realizes an LD50 concentration of 5600 ppm based upon a...
auratus Zebrafish, Danio rerio Knodus nuptialis Fathead minnow, Pimephales promelas Common roach, Rutilus rutilus Nuptial pad - a similar ornament of frogs...
JSIDL definition of a service into a PROMELA model, for validation by the SPIN model checking tool. Using PROMELA to model client and server interfaces...
organism. Common standard test species are the fathead minnow (Pimephales promelas), daphnids (Daphnia magna, D. pulex, D. pulicaria, Ceriodaphnia dubia)...
LUA and Prolog datamodels, only rudimentary support for XPath datamodel. PROMELA datamodel for formal verification with the SPIN model-checker. LXSC Lua...
Longifolene to Microtox®, Ceriodaphnia dubia, Daphnia magna, and Pimephales promelas" (PDF). Bulletin of Environmental Contamination and Toxicology. 58 (2):...