Promela

Promela je programovací jazyk pro modelování a ověřování souběžných systémů. Je založen na programovacím jazyce Prolog a byl vyvinut na Institutu informačních věd Univerzity Jižní Kalifornie. Promela se používá v programu Spin model checker, který lze použít k ověření správnosti programů v jazyce Promela. Promela má jednoduchou syntaxi, která je podobná jazyku Prolog. Promela však obsahuje také konstrukce pro specifikaci souběžných procesů a komunikace mezi nimi. Programy Promela se spouštějí pomocí programu Spin model checker, který může ověřit správnost programů Promela. Promela je výkonný nástroj pro modelování a ověřování souběžných systémů. Je založen na známém programovacím jazyce Prolog a má jednoduchou syntaxi, kterou se lze snadno naučit. Promela se používá v programu Spin model checker, který je výkonným nástrojem pro ověřování správnosti programů Promela.