Գրեք սա: Model Checking Stochastic Branching Processes