An EFSM-driven and model checking-based approach to functional test generation for hardware designs.
Alexander S. KamkinMikhail LebedevSergey A. SmolovPublished in: EWDTS (2016)
Keyphrases
- finite state machines
- model checking
- test generation
- hardware designs
- temporal logic
- model based diagnosis
- test cases
- temporal properties
- model checker
- formal specification
- formal verification
- static analysis
- symbolic model checking
- automated verification
- verification method
- quality assurance
- software testing
- timed automata
- computation tree logic
- formal methods
- alternating time temporal logic
- development process
- transition systems
- software systems
- software engineering
- object oriented
- artificial intelligence