[I2 logo] [RWTH logo] MOVES: Software Modeling and Verification
(Informatik 2)
Computer Science / RWTH / I2 / Research / AG / MCS

Modelling Concurrent Systems


The Modelling Concurrent Systems Group conducts research into models of concurrent behavior, with applications to programming and specification languages for parallel and distributed computation. Furthermore, we are looking for techniques for verifying concurrent systems. We develop and maintain the verification platform Truth.

Topics in this area are

  • logical descriptions of properties using modal logic
  • semantic domains for concurrent systems
  • programming languages for concurrent systems
  • model checking



Mailing list

The (low volume) mailing list mcs@lists.rwth-aachen.de informs about local meetings and news. You can use the web interface to subscribe to the mailing list or to read past messages.

Activities and Projects

Literature and other information

Links to collections about Concurrency and Formal Methods

Links to other concurrency groups

Valid HTML 4.01 Strict! Valid CSS!