PROJECTS

Current Research 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.