tmokenc

Priklad iterativniho modelcheckingu