Package verf.mdverif

Class Summary
MDVerif  
MDVerifGraphGenerator  
MDVerifMain  
MDVerifPane  
MDVerifRepWraper Class alowing to wrap MDDesigner modechart tree and transition representation into non-hierarchical verifier scheme.
MDVerifTool Base extension point of plugin.