Anti-chain based algorithms for timed/probabilistic refinement checking
Refinement checking answers the question on whether an implementation model is a refinement of a specification model, which is of great value for system verification. Some refinement relationships, e.g., trace refinement and failures/divergence refinement, have been recognized for different verifica...
محفوظ في:
| المؤلفون الرئيسيون: | , , , |
|---|---|
| مؤلفون آخرون: | |
| التنسيق: | مقال |
| اللغة: | English |
| منشور في: |
2020
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://hdl.handle.net/10356/140644 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
مواد مشابهة
Model checking concurrent and real-time systems : the PAT approach
بواسطة: LIU YANG
منشور في: (2010)
بواسطة: LIU YANG
منشور في: (2010)