Coverage Estimation Using Transition Perturbation for Symbolic Model Checking in Hardware Verification.
Xingwen XuShinji KimuraKazunari HorikawaTakehiko TsuchiyaPublished in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2006)
Keyphrases
- symbolic model checking
- model checking
- formal verification
- model checker
- safety analysis
- temporal logic
- test suite
- partial observability
- formal methods
- conformant planning
- formal specification
- symbolic representation
- finite state
- data mining
- binary decision diagrams
- embedded systems
- search algorithm
- machine learning