Discussion: "Model Verification"
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.
The response should include a reference list. Double-space, using Times New Roman 12 pnt font, one-inch margins, and APA style of writing and citations.