Promela

Promela je programovací jazyk na modelovanie a overovanie súbežných systémov. Je založený na programovacom jazyku Prolog a bol vyvinutý na Inštitúte informačných vied Univerzity v Južnej Kalifornii. Promela sa používa v programe Spin model checker, ktorý možno použiť na overovanie správnosti programov v jazyku Promela. Promela má jednoduchú syntax, ktorá je podobná jazyku Prolog. Promela však obsahuje aj konštrukcie na špecifikáciu súbežných procesov a komunikácie medzi nimi. Programy Promela sa vykonávajú pomocou programu Spin model checker, ktorý môže overovať správnosť programov Promela. Promela je výkonný nástroj na modelovanie a overovanie súbežných systémov. Je založený na známom programovacom jazyku Prolog a má jednoduchú syntax, ktorá sa ľahko učí. Promela sa používa v programe Spin model checker, ktorý je výkonným nástrojom na overovanie správnosti programov Promela.