|Webmaster||Disclaimer||Last modified: 2005-06-07 17:27 UTC|
MOVES: Software Modeling and Verification
|Computer Science / RWTH / I2 / Research / 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
The (low volume) mailing list firstname.lastname@example.org 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