There have been many developments in the field of facilitated model based verification and validation techniques. Most of them have been based upon observing the external behaviour of the system. The authors' approach follows the same and is valid with the source code of the system under observance is not available Inference mechanism allow them to infer such machine models by observing. They present a framework which adopts to generate component with infinite/finite states and adapt to formal verifications. The models used are communication protocol inferred by regular inference observed through the behaviour of communication protocol entity.