Explain why finding the correctness of a programme based on a formal specification isn't necessarily the most cost-effective technique to verifying it, and how model checking may be the most cost-effective option.

Np Ms Office 365/Excel 2016 I Ntermed
1st Edition
ISBN:9781337508841
Author:Carey
Publisher:Carey
Chapter3: Performing Calculations With Formulas And Functions
Section3.1: Formulas And Functions
Problem 8QC
icon
Related questions
Question

Explain why finding the correctness of a programme based on a formal specification isn't necessarily the most cost-effective technique to verifying it, and how model checking may be the most cost-effective option.

Expert Solution
steps

Step by step

Solved in 2 steps

Blurred answer
Knowledge Booster
System Model Approaches
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, computer-science and related others by exploring similar questions and additional content below.
Similar questions
Recommended textbooks for you
Np Ms Office 365/Excel 2016 I Ntermed
Np Ms Office 365/Excel 2016 I Ntermed
Computer Science
ISBN:
9781337508841
Author:
Carey
Publisher:
Cengage