Parallel Software-Based Self-Testing with Bounded Model Checking for Kilo-Core Networks-on-Chip.
Ying ZhangPengfei JiPan-Wei ZhuZebo PengHua-Wei LiJian-Hui JiangPublished in: J. Comput. Sci. Technol. (2023)
Keyphrases
- bounded model checking
- formal verification
- test cases
- software testing
- model checking
- low cost
- parallel processing
- software systems
- social networks
- temporal logic
- test suite
- high bandwidth
- network structure
- high speed
- testing process
- software development
- source code
- software architecture
- domain independent
- high density
- level parallelism
- linear temporal logic
- parallel programming
- computer systems