# Embedded Systems Mcqs

Q:

A) computational tree logic | B) code tree logic |

C) cpu tree logic | D) computer tree logic |

Answer & Explanation
Answer: A) computational tree logic

Explanation: 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.

Explanation: 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.

73

Q:

A) HOL | B) FOL |

C) BDD | D) EMC |

Answer & Explanation
Answer: D) EMC

Explanation: The EMC-system is developed by Clark and it describes the CTL formulas, which is the computational tree logics.

Explanation: The EMC-system is developed by Clark and it describes the CTL formulas, which is the computational tree logics.

56

Q:

A) EMC | B) HOL |

C) BDD | D) FOL |

Answer & Explanation
Answer: C) BDD

Explanation: The model checking was developed using the binary decision diagram and the BDD and it was possible to locate errors in the specification of the future bus protocol.

Explanation: The model checking was developed using the binary decision diagram and the BDD and it was possible to locate errors in the specification of the future bus protocol.

81

Q:

A) BDD | B) FOL |

C) Tautology checker | D) HOL |

Answer & Explanation
Answer: C) Tautology checker

Explanation: The propositional logic technique consists of the boolean formulas and the boolean function. The tools used in this type of logic is the tautology checker or the equivalence checker which in turn uses the BDD or the binary decision diagrams.

Explanation: The propositional logic technique consists of the boolean formulas and the boolean function. The tools used in this type of logic is the tautology checker or the equivalence checker which in turn uses the BDD or the binary decision diagrams.

72

Q:

A) HOL | B) FOL |

C) Propositional logic | D) Both HOL and FOL |

Answer & Explanation
Answer: C) Propositional logic

Explanation: The propositional logic technique is having the boolean formulas and the boolean function. The tools used in propositional logic is the tautology checker or the equivalence checker which in turn uses the binary decision diagrams which are also known as BDD.

Explanation: The propositional logic technique is having the boolean formulas and the boolean function. The tools used in propositional logic is the tautology checker or the equivalence checker which in turn uses the binary decision diagrams which are also known as BDD.

71

Q:

A) boolean decision diagram | B) binary decision diagrams |

C) binary decision device | D) binary device diagram |

Answer & Explanation
Answer: B) binary decision diagrams

Explanation: The binary decision diagram is a kind of data structure which is used to represent the Boolean function.

Explanation: The binary decision diagram is a kind of data structure which is used to represent the Boolean function.

67

Q:

A) higher order logic | B) higher order last |

C) highly organised logic | D) higher order less |

Answer & Explanation
Answer: A) higher order logic

Explanation: The formal verification techniques are classified on the basis of the logics employed. The techniques are propositional logic, first order logic, and higher order logic. The HOL is the abbreviation of the higher order logic in which the proofs are automated and manually done with some proof support.

Explanation: The formal verification techniques are classified on the basis of the logics employed. The techniques are propositional logic, first order logic, and higher order logic. The HOL is the abbreviation of the higher order logic in which the proofs are automated and manually done with some proof support.

55

Q:

A) free order logic | B) fast order logic |

C) false order logic | D) first order logic |

Answer & Explanation
Answer: D) first order logic

Explanation: Many formal verification techniques are used and these are classified on the basis of the logics employed. The techniques are propositional logic, first order logic, and higher order logic. The FOL is the abbreviated form of the first order logic which includes the quantification.

Explanation: Many formal verification techniques are used and these are classified on the basis of the logics employed. The techniques are propositional logic, first order logic, and higher order logic. The FOL is the abbreviated form of the first order logic which includes the quantification.

118