1. A method for identifying silent failures in an application, comprising: generating, by a failure identification computing device, a Finite State Machine (FSM) model of the application based on an input data; extracting, by the failure identification computing device, state specific invariants relevant to the generated FSM; performing, by the failure identification computing device, a localized invariant violation check at each state of the generated FSM to detect an invariant violation; and upon detection of the invariant violation at any state of the FSM, logging, by the failure identification computing device, the violation as a silent failure.