MCQOPTIONS
Bookmark
Saved Bookmarks
→
Embedded Systems
→
Formal Verification
→
What is HOL?
1.
What is HOL?
A.
higher order logic
B.
higher order last
C.
highly organised logic
D.
higher order less
Answer» B. higher order last
Show Answer
Discussion
No Comment Found
Post Comment
Related MCQs
What is CTL?
Which of the following is a popular system for model checking?
Which of the following is possible to locate errors in the specification of the future bus protocol?
Which of the following is also known as equivalence checker?
Which formal verification technique consists of a Boolean formula?
What is BDD?
What is HOL?
What is meant by FOL?
Reply to Comment
×
Name
*
Email
*
Comment
*
Submit Reply
Your experience on this site will be improved by allowing cookies. Read
Cookie Policy
Reject
Allow cookies