

InterviewSolution
Saved Bookmarks
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 |
|