KABORE POUSGA

Method and system for automatically verifying fault hypotheses predetermined by a user