Selection of formal verification heuristics for parallel execution.
Georgia Penido SafeClaudionor CoelhoLuiz Filipe M. VieiraCelina Gomes Do ValJosé Augusto Miranda NacifAntônio Otávio FernandesPublished in: Int. J. Softw. Tools Technol. Transf. (2012)
Keyphrases
- formal verification
- parallel execution
- model checking
- data partitioning
- cost model
- model checker
- parallel processing
- query execution
- automated verification
- bounded model checking
- parallel computing
- efficient execution
- symbolic model checking
- concurrent execution
- data mining
- databases
- shared memory
- range queries
- general purpose
- database systems