- Ansymo (University of Antwerp), Software Architecture Group (Hasso-Plattner Institut) - The research groups behind delMDSOC.
- Hans Schippers , Tim Molderez - Research pages of delMDSOC's main developers.
- GROOVE - The model checking and graph transformation tool that is used for delMDSOC.
Using Groove, delMDSOC models can be created, simulated and verified using model checking.
- The delMDSOC kernel - An implementation of delMDSOC based on an earlier version of the machine model.
- AGG - The graph transformation tool that was used to model and simulate an earlier version of delMDSOC.
Page last modified: May 29 2011, 14:19