MCQOPTIONS
Home
About Us
Contact Us
Bookmark
Saved Bookmarks
Testing Subject
General Aptitude
Logical and Verbal Reasoning
English Skills Ability
Technical Programming
Current Affairs
General Knowledge
Finance & Accounting
GATE (Mechanical Engineering)
Chemical Engineering
→
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