Question Description
Discussion 1
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.
http://www.youtube.com/watch?v=0gt503wK7AI. E- Activity
Discussion 2
“Model Synthesis” Please respond to the following:
- Examine the advantages and disadvantages of using the goal-driven model. Propose how you would assess the success factors of the goal-driven model synthesis.
- Examine the advantages and disadvantages of using a scenario-driven model synthesis approach as a formal specification of mission-critical goals, domain properties and operations. Propose how you would assess the success factors of the scenario-driven model synthesis.