2009-2012: ROCKS -- Rigorous dependability analysis using model checKing techniques for stochastic systems

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

The project started in July 2009. The project continued the great work by a consortium that was also behind the NWO/DFG funded projects VOSS I (2001-2004) and VOSS II (2005-2008). ROCKS furthered the stochastic model checking technology basis and explored new application areas, harvesting the experiences of the past.