Implementação de um gerador de ambiente de verificação de IPs.

Abstract

The IP veriĄcation environment generator is a tool that should aid veriĄers in order to automate the process of implementing a textit stub version of the environment. This is based on the use of information contained in a Ąle and on determining a pattern to be followed for the textit stub environment. The generated environment has a common and widely used standard and was implemented using the Java.