PROMELA

PROMELA (Process / Protocol Meta Language ) is a specification language that is synchronous and asynchronous distributed algorithms and protocols using non- deterministic finite automata describes. PROMELA is mainly used in the field of verification, for example, in the model checker SPIN.

  • Automata Theory
Nondeterministic algorithm Finite-state machine
662212
de