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.