FORMAL METHODS FOR VERIFICATION TECHNIQUES

In this research, we use the formal methods for the enhancement of the Model Driven Architecture (MDA) in order to support the critical correctness requirements of systems. We focus on verifying and validating of Platform Independent Model (PIM) before trThere are many methods that are being used to describe System under Test (SUT) behavior. from these methods UML state diagrams, grammars, tables (e.g., decision tables), control flow graphs, and others. In this thesis, we use the mathematical model to des