On Scheduling Constraint Abstraction for Multi-Threaded Program Verification
Yin, Liangze, Dong, Wei, Liu, Wanwei, Wang, JiYear:
2018
Language:
english
Journal:
IEEE Transactions on Software Engineering
DOI:
10.1109/TSE.2018.2864122
File:
PDF, 2.26 MB
english, 2018