June 12, 2021

Formal Verification MCQ’s

Read Time:48 Second

This set of Embedded System Multiple Choice Questions & Answers (MCQs) focuses on “Formal Verification”.

1. What is HOL?
a) higher order logic
b) higher order last
c) highly organised logic
d) higher order less

2. Which of the following is possible to locate errors in the specification of the future bus protocol?
a) EMC
b) HOL
c) BDD
d) FOL

3. What is BDD?
a) boolean decision diagram
b) binary decision diagrams
c) binary decision device
d) binary device diagram

4. Which of the following is a popular system for model checking?
a) HOL
b) FOL
c) BDD
d) EMC

5. What is meant by FOL?
a) free order logic
b) fast order logic
c) false order logic
d) first order logic

6. Which of the following is also known as equivalence checker?
a) BDD
b) FOL
c) Tautology checker
d) HOL

7. Which formal verification technique consists of a Boolean formula?
a) HOL
b) FOL
c) Propositional logic
d) Both HOL and FOL

8. What is CTL?
a) computational tree logic
b) code tree logic
c) cpu tree logic
d) computer tree logic

Happy
Happy
0 %
Sad
Sad
0 %
Excited
Excited
0 %
Sleepy
Sleepy
0 %
Angry
Angry
0 %
Surprise
Surprise
0 %

Average Rating

5 Star
0%
4 Star
0%
3 Star
0%
2 Star
0%
1 Star
0%

Leave a Reply

Your email address will not be published. Required fields are marked *

Previous post Risk and Dependability Analysis MCQ’s
Next post Input and Output MCQ’s