MCQOPTIONS
Bookmark
Saved Bookmarks
→
Embedded Systems
→
Formal Verification in Embedded Systems
→
What is CTL?..
1.
What is CTL?
A.
computational tree logic
B.
code tree logic
C.
cpu tree logic
D.
computer tree logic
Answer» B. code tree logic
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