Promela

Promela é uma linguagem de programação para modelagem e verificação de sistemas simultâneos. É baseada na linguagem de programação Prolog, e foi desenvolvida no Instituto de Ciências da Informação da Universidade do Sul da Califórnia. Promela é utilizada no verificador de modelos Spin, que pode ser utilizado para verificar a correcção dos programas Promela. A Promela tem uma sintaxe simples que é semelhante à da Prolog. Contudo, a Promela também tem construções para especificar processos simultâneos e comunicação entre eles. Os programas Promela são executados pelo verificador do modelo Spin, que pode verificar a correcção dos programas Promela. Promela é uma ferramenta poderosa para a modelagem e verificação de sistemas concorrentes. Baseia-se na conhecida linguagem de programação Prolog, e tem uma sintaxe simples que é fácil de aprender. Promela é utilizado no verificador de modelos Spin, que é uma ferramenta poderosa para verificar a correcção dos programas Promela.