Keyphrases
- formal verification
- model checking
- low cost
- automated verification
- real time
- hardware and software
- model checker
- bounded model checking
- program slicing
- program synthesis
- symbolic model checking
- computing power
- embedded systems
- computer systems
- hardware architecture
- hardware implementation
- temporal logic
- massively parallel
- digital circuits
- hardware software
- knowledge base
- artificial intelligence