Reserch activities of QuasyLab are focussed on development of methodologies, tools and techniques for the quantitative analysis of systems.