Avoiding state-space explosion in Model-Checker : M.A Thesis Information Technology : 60 48 01

Model-checking is a well-known technique for the program verification problem (i.e., checking that the program satisfies a given property). However, Model-checking su ↵ ers the state-space explosion problem. This is more visible in the the case of concurrent / parallel programs. Therefore, deve...

وصف كامل

محفوظ في:
التفاصيل البيبلوغرافية
المؤلف الرئيسي: Bùi, Phi Điệp
مؤلفون آخرون: Nguyễn, Việt Hà
التنسيق: Theses and Dissertations
منشور في: ĐHCN 2017
الموضوعات:
الوصول للمادة أونلاين:http://repository.vnu.edu.vn/handle/VNU_123/43275
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!