An Automatic Verification Tool for UML

]K^6_?`baFcedB` f9gihkjAlemonih?p qkrspehbtumolevxwCyzlev {iyzv hLm}|~3h?€brB‚molivƒ‚r „…hkyBlip†1r „…hˆ‡3rB‡e{ituyB„molŠ‰‹gehk|ŒrBŽ‰‘yB„…h pehb’Bh?tor ‡e‚hbl ‰?“•”–rF—h?’Bhb„•~3h?€?yz{i|…hArB˜m™‰š|—yB<~emuvB{em}|…m™‰›œmol mo‰‹|‘|…hbyzl ‰…m}€‚ržpžhbtNŸ  hb ’Bh?„…mon\€?yF‰…murBl‚‰‹rsrBt g\yB|~3hbh?l ~e{emut™‰7“—¡A~\|‰‹„‹y €¢‰¤£ ‰šyF‰…hœqkyB€šgemuleh7|9giy¥’Bh¦~3hbhblk|…{i€?€§h?|‹|Œ {etotu›LyB‡e‡etumoh7p ̈mol v mo’smulev|Œh?‚yBl ‰…m}€b|  r „‡e„‹rBvB„šyz‚‚mulev<t}yzlev {iyzv h–tumo© h<a¤“ž«¬lK‰‹gemu|9„‹hb‡3rB„…‰?Ÿž‘h¤‰…„‹›‰…r‚{i|…h ‰…geh ¡A~\|‰‹„‹y €¢‰–£ ‰‹yz‰…h qky €šgemolih?| ‰‹r¦vBmu’Bh9y |…hbyBl ‰‹mu€?|>‚rspehbts rB„Uj¤qkwˆyzlip<‰…gihbl‚{i|…h9¡ £žq­q ržpžhbt3a—gih?€š©Bh?„,‰‹r pžh?|…mov l1y ’ hb„‹m™n\€?yF‰‹mor l ‰‹rsrBtR r „Aj–qkwZ“iw,y |‰‘h v mo’ h y<‰‹rF› h§®eyB1‡itoh ‰…r|…gerF ̄girF°‰…gih ’Bhb„‹mon\€byz‰…murBl ‰‹rsrBt˜‘rB„‹©ž|b“