RigorOus dependability analysis using model ChecKing techniques for Stochastic systems

DFG logo blue  NWO logo


From Aachen: Software Modeling and Verification

RWTH aachen logo

From Dresden: Algebraic and Logical Foundations of Computer Science

Technical University Dresden logo

From Munich: Design of Computer and Communication Systems

University of the federal armed forces munich logo

From Nijmegen: Informatics for Technical Applications

Radboud University Nijmegen logo

From Saarbrücken: Dependable Systems & Software

Universität des Saarlandes logo

From Twente: Design and Analysis of Communication Systems

University of Twente logo

From Twente: Formal Methods and Tools

University of Twente logo

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