pwhile - Probabilistic While
Resource analysis of probabilisticwhile programs.
Development
The tool is under active development. Try out the first prototype using the webinterface.November 2019: Version
0.1.0.0 of eco-imp is released.
The project has moved here.