Abstract
In this paper, we extend our modeling approach by introducing verification methods so that the design process will be carried correctly. The Model of Component (MoC) and the Model of Function (MoF) are the basic models of our modeling approach. Thus, we formalize some properties of these models and we present the corresponding verification methods. A computer aided tool for specification and verification is developed to illustrate our approach.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have