A Mutually-Exclusive Deployment of Formal and Simulation Techniques Using Proof-Core Analysis