Decoding the Unknown: A Synergy of Formal and Simulation Methods for Unclassified Faults