DM lab

DM lab (delMDSOC lab) is a framework suited for the analysis and verification of object-oriented programs that support modularized crosscutting concerns. (e.g. programs written in aspect-, context- and role-oriented languages)