RigorOus dependability analysis using model ChecKing techniques for Stochastic systems

DFG logo blue  NWO logo


  • Please acknowledge in publications: Partially supported by DFG/NWO Bilateral Research Programme ROCKS. In any publication of results of the research for which grant is awarded, mention must be made of the support received from NWO. The name of NWO is to be translated as follows:
    • English: Netherlands Organisation for Scientific Research (NWO)
    • German: Niederländische Organisation für wissenschaftliche Forschung (NWO)
  • Copyright transfer is restricted. Upon request by NWO, results must be made available to other researchers.

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