Detecting design mistakes is based on detecting and alarming on constrain violation. A design mistake is detected when the source of the alarm is not identified.
Updated on 29 Jan 2016.