Keyphrases
- formal verification
- program slicing
- model checking
- bounded model checking
- model checker
- symbolic model checking
- automated verification
- parallel implementation
- sorting algorithms
- temporal logic
- functional verification
- high level programming language
- parallel computing
- parallel processing
- computer architecture
- programming environment
- state space