StocHy

StocHy

Automatic verification and synthesis of stochastic processes