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...
محفوظ في:
المؤلف الرئيسي: | |
---|---|
مؤلفون آخرون: | |
التنسيق: | Theses and Dissertations |
منشور في: |
ĐHCN
2017
|
الموضوعات: | |
الوصول للمادة أونلاين: | http://repository.vnu.edu.vn/handle/VNU_123/43275 |
الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|