Using Generalized Nets for Programme Verification
Magdalina Todorova · Proceedings of the Bulgarian Academy of Sciences · 2013
The article presents elements of a solution to an open problem related to applying the generalized nets apparatus to verification of procedural and object-oriented programmes. An approach to the verification of these types of programmes is described. In the case of object-oriented programmes (OOP), the description concerns the situation in which the classes are not connected into inherent hierarchies. In addition, the question of generalized net models verification is presented, when they give the specifications according to which the relations between the procedural programme functions and the member functions of the OOP classes are verified.