Keyphrases
- formal verification
- model checking
- model checker
- real time
- user interface
- bounded model checking
- automated verification
- hardware and software
- symbolic model checking
- low cost
- user friendly
- hardware implementation
- program slicing
- image processing
- computing systems
- personal computer
- computer systems
- abstraction layer
- embedded systems
- field programmable gate array
- domain specific
- software engineering
- knowledge representation
- expert systems
- web services
- functional verification