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...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Principais autores: Araújo, Ricardo Wagner de., Medeiros, Adelardo Adelino Dantas de.
Formato: Tese
Publicado em:
Assuntos:
Sistema de raciocínio precedural -
Linguagem de programação -
Tese.
Redes de petri -
Regras de conversão -
Verificação formal do programa (PRS) -
Verificação das propriedades estruturais e comportamentais (RPCs) -
Procedural reasoning systema (PRS).
Programming language.
Formal verification of programm (PRS).
Verification of the structural and dynamic properties.
Endereço do item:https://app.bczm.ufrn.br/home/#/item/73586
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Internet

https://app.bczm.ufrn.br/home/#/item/73586

Registros relacionados