Verificação formal automatizada paras sistemas de raciocínio procedural (PRS) utilizando redes Petri coloridas (RPC)/
Resumo: Este trabalho apresenta uma técnica de verificação formal de Sistemas de Raciocínio Procedural, PRS (Procedural Reasoning System), uma linguagem de programação que utiliza a abordagem do raciocínio procedural. Esta técnica baseia-se na utilização de regras de conversão entre programas PRS e...
Na minha lista:
Principais autores: | , |
---|---|
Formato: | Tese |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/73586 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|