OpenMP Program Verification Based on Bounded Model Checking.
Liang SunBailin LuLiangze YinZhe BuWenjing JinPublished in: QRS Companion (2023)
Keyphrases
- bounded model checking
- model checking
- formal verification
- shared memory
- temporal logic
- high performance computing
- linear temporal logic
- parallel programming
- multi core processors
- parallel execution
- massively parallel
- multi agent systems
- parallel algorithm
- multi processor
- search strategies
- modal logic
- finite state
- parallel computation
- low overhead
- software engineering