1.

Which of the following is a popular system for model checking?(a) HOL(b) FOL(c) BDD(d) EMCThe question was posed to me in examination.My question is from Formal Verification in portion Validation of Embedded Systems

Answer»

Right option is (d) EMC

The explanation: The EMC-system is developed by CLARK and it DESCRIBES the CTL formulas, which is the computational TREE logics.



Discussion

No Comment Found

Related InterviewSolutions