RigorOus dependability analysis using model ChecKing techniques for Stochastic systems

DFG logo blue  NWO logo


ROCKS is a research collaboration between the Netherlands and Germany within the NWO-DFG bilateral cooperation program. On the Dutch side, the participating Universities are the Radboud University Nijmegen and the University of Twente. The German participating Universities are the RWTH Aachen, the Technische Universität Dresden, the Saarland University, and the University of the Federal Armed Forces Munich.

The project started on 1st of July 2009. The same project consortium (now in part led by the next generation of scientists) that was responsible for the NWO/DFG funded projects VOSS I (2001-2004) and VOSS II (2005-2008) will continue to push the stochastic model checking technology forward and to explore new application areas, harvesting from the experiences of the past.

ROCKS is a cooperation of RWTH Aachen, TU Dresden, UT-DACS Enschede, UT-FMT Enschede, UBwM Munich, RU Nijmegen and UdS Saarbrücken