The goal of this project is to define the core elements for TLR and inconsistency detection in ArDoCo. For more information about the ArDoCo project visit the website at ArDoCo.
ArDoCo is actively developed by researchers of the Modelling for Continuous Software Engineering (MCSE) group of KASTEL - Institute of Information Security and Dependability at the KIT.