Program menurut mirach.sf.net

Kami sedang mengembangkan MIRACH, Pemeriksa Model Online Statistik untuk Model Jalur Biologis, berdasarkan formalisme PLTL untuk mengekspresikan aturan / properti yang akan diperiksa. MIRACH saat ini dapat memeriksa model jal