Parallelizing model checking algorithms using multi-core and many-core architectures

• المؤلف الرئيسي: Wu, Zhimin
• مؤلفون آخرون: Liu Yang
• التنسيق: Theses and Dissertations
• اللغة: English
• منشور في: 2017
• الموضوعات: DRNTU::Engineering::Computer science and engineering::Software::Software engineering
• الوصول للمادة أونلاين: http://hdl.handle.net/10356/72377

The reliance on the functioning of software systems is growing with the development of IT industry. The complexity and scalability to design these systems are increasing, especially for concurrent systems with concurrent executions, communications and resource distributions, e.g., classical cryptogr...