Marcos Antonio de Oliveira Junior

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
This paper presents an approach for model specification in the context of Model Checking, using graph grammars. The choice for this formal method is justified by the visual language provided by Graph Grammar and the possibility of using it to check properties of a system. Our approach is based on the analysis of a graph grammar obtained from trace(More)
  • 1