Keyphrases
- formal verification
- model checking
- model checker
- low cost
- symbolic model checking
- hardware and software
- bounded model checking
- automated verification
- computing systems
- real time
- temporal logic
- functional verification
- program slicing
- ubiquitous environment
- vlsi implementation
- hardware implementation
- data acquisition
- context awareness
- personal computer
- ubiquitous computing
- embedded systems
- image processing