QUPES: Verifying Quantitative Properties of Embedded Software

Publications: in EPrints
Further information: http://www-i2.informatik.rwth-aachen.de/~katoen/research_projects.html