Description


SAT-based Fault Classifier is based on generalized miter which basic principles are described in pdf.

Fault classifier properties
Fault classifier component references