Promela
id:
promela-245-6621117
title:
Promela
text:
PROMELA 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, or asynchronous. 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
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Promela
date created:
date modified:
2024-01-08T05:52:41Z
main entity:
{"identifier":"Q948666","url":"https://www.wikidata.org/entity/Q948666"}
image:
fields total:
13
integrity:
13