Computation with Bounded Resources
Research Group

pwhile - Probabilistic While

Resource analysis of probabilistic while 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.