M. Sabetzadeh, S. Nejati, S. Easterbrook, and M. Chechik (2008)
Global consistency checking of distributed models with TReMer+
In: Proceedings of the 30th International Conference on Software Engineering (ICSE'08), pp. 815-818, ACM
We present TReMer+, a tool for consistency checking of distributed models (i.e., models developed by distributed teams). TReMer+ works by first constructing a merged model before checking consistency. This enables a flexible way of verifying global consistency properties that is not possible with other existing tools.
Formal Demonstration Paper
