Question

What is CTL?

(a) computational tree logic

(b) code tree logic

(c) cpu tree logic

(d) computer tree logic

The question was posed to me during an interview.

I'm obligated to ask this question of Formal Verification in division Validation of Embedded Systems

Answer 1

Right choice is (a) computational tree logic

To explain I would say: The EMC-system is a popular system for model checking which is developed by Clark that describes the CTL formulas, which is also known as computational tree logics. The CTL consist of two parts, a path quantifier, and a state quantifier.