Formal Methods for System Verification - Week 0 Quiz Solutions | SwayamSolver

Back to Course: Formal Methods for System Verification

Practice: Week 0: Assignment 0

Formal Methods for System Verification · Instructor: Prof. Chandan Karfa

Week 010 Questions

Question 1

What is the primary goal of system verification?

A.Increase execution speed

B.Reduce manufacturing cost

C.Check whether the system behaves correctly

D.Improve user interface

Correct Answer: Check whether the system behaves correctly

Question 2

Which of the following systems would benefit from formal verification?

A.Aircraft control software

B.Banking software

C.Processor design

D.All of the above

Correct Answer: All of the above

Question 3

A property stating "Two trains should never occupy the same track segment simultaneously" is an example of:

A.Safety property

B.Liveness property

C.Optimization property

D.Scheduling property

Correct Answer: Safety property

Question 4

Which of the following is a hardware system?

A.Operating System

B.Compiler

C.Microprocessor

D.Web Browser

Correct Answer: Microprocessor

Question 5

Testing examines:

A.All possible behaviors of a system

B.Some selected executions of a system

C.Only incorrect behaviors

D.None of the above

Correct Answer: Some selected executions of a system

Question 6

Formal verification attempts to:

A.Prove correctness mathematically

B.Increase clock frequency

C.Reduce memory usage

D.Some selected executions of a system

Correct Answer: Prove correctness mathematically

Question 7

What are the formal verification topics will be covered in this course?

A.Satisfiability (SAT) solver

B.Model Checking

C.Equivalence Checking

D.All of the Above

Correct Answer: All of the Above

Question 8

SAT stands for:

A.System Analysis Tool

B.Satisfiability

C.State Automation Technique

D.Software Assessment Test

Correct Answer: Satisfiability

Question 9

Model checking is primarily used to:

A.Compile programs

B.Verify whether a model satisfies a specification

C.Design user interfaces

D.Generate test reports

Correct Answer: Verify whether a model satisfies a specification

Q10

Question 10

Which statement best describes formal verification?

A.It replaces all testing

B.It uses mathematical techniques to verify correctness

C.It only applies to hardware systems

D.It guarantees higher performance

Correct Answer: It uses mathematical techniques to verify correctness