# Zapoctovy test, 2.2.2009 [10:00]

<{ForumPost(poster="anonym1", timestamp=2009-02-02 15:03:24)}>
[http://dsrg.mff.cuni.cz/~malohlava/teac ... lVerifier/](http://dsrg.mff.cuni.cz/~malohlava/teaching/csharp/ModelVerifier/)
<{/ForumPost}>

<{ForumPost(poster="Him", timestamp=2009-02-02 16:31:27)}>
Z toho odkazu to dříve či později zmizí, věřim, že když se to dá na forum, tak to má větší šanci "přežít" :-)  
  
Jinak to nebylo příliš těžké, jen jsem to neměl moc přehledné, tak jsem se v tom po čase ztrácel.. ale nakonec jsem se vymotal

*Attachments:*

- *[rodina-metamodel.txt](/NPRG035/Z%C3%A1po%C4%8Det%202009-02-02%2010%3A00/rodina-metamodel.txt)*
- *[rodina-model.txt](/NPRG035/Z%C3%A1po%C4%8Det%202009-02-02%2010%3A00/rodina-model.txt)*
- *[zadani.pdf](/NPRG035/Z%C3%A1po%C4%8Det%202009-02-02%2010%3A00/zadani.pdf)*

<{/ForumPost}>