Global consistency checking of distributed models with TReMer+
Mehrdad Sabetzadeh, Shiva Nejati, Steve Easterbrook, Marsha Chećhik · 2008
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 consis-tency. This enables a flexible way of verifying global consistency properties that is not possible with other existing tools.