Sistema De Raciocinio Procedural
Mostrando 1-1 de 1 artigos, teses e dissertações.
-
1. Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)
This work presents a technique of formal verication of Procedural Reasoning System - PRS, a programming language that uses the procedural reasoning approach. This technique is based on the use of conversion rules between PRS programs and Coloured Petri Nets (CPNs). To this end, conversion rules of a subgroup of the majority of the syntax used in language PRS
Publicado em: 2005