Parallel model based diagnosis on multi core computers
Model Based Diagnosis (MBD) is a principled and domain independent way of analyzing why a system under examination is not behaving as expected. Given an abstract description (model) of the system's.