This forge unites the outcome of our small workgroup around the analysis and verification of distributed, concurrent software systems. Our work tries to attack the verification of automata-based models by different paradigms and by transferring ideas from other research areas. In addition, we will also publish some of the libraries and tools we use to implement our ideas in this forge. Please refer to the appropriate pages of sub projects for detailed information.