"Model Verification" Please respond to the following:
Determine whether you would use theorem proving, the use of a catalogue of formal refinement patterns, or SAT solver technology to verify an engineering model. Support your position.
From the e-Activity, determine whether or not you believe that a SAT solver will always be able to find a solution or verify a model. Support your position.