Keyphrases
- formal verification
- model checking
- hardware and software
- model checker
- automated verification
- bounded model checking
- real time
- low cost
- symbolic model checking
- program slicing
- vlsi implementation
- computing systems
- massively parallel
- embedded systems
- hardware implementation
- program synthesis
- functional verification
- computing power
- texture synthesis
- temporal logic
- artificial intelligence
- personal computer
- data acquisition
- computer systems
- fuzzy sets
- object oriented