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 on 1st of 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.