PROJECTS

The Dependable Systems and Software Group participates in the following projects. Visit the related web sites for more information.

	AVACS, Automated Verification and Analysis of Complex Systems
	MEALS, Mobility between Europe and Argentina applying Logics to Systems
	QUASIMODO, Quantitative System Properties in Model-Driven Design of Embedded Systems
	ROCKS, RigorOus dependability analysis using model ChecKing techniques for Stochastic systems

Further information will be added in due course.