تحميل...
Verification, model checking, and abstract interpretation 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /
Session 1 -- Verifying compensating transactions -- Model checking nonblocking MPI programs -- Model checking via CFA -- Using first-order theorem provers in the Jahob data structure verification system -- Invited tutorial -- Interpolants and symbolic model checking -- Session 2 -- Shape analysis o...
محفوظ في:
| المؤلفون الرئيسيون: | , , |
|---|---|
| التنسيق: | Livro |
| اللغة: | Inglês |
| منشور في: |
Springer,
2007
|
| سلاسل: | Lecture notes in computer science |
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://minerva.ufrj.br/F/?func=direct&doc_number=000899846&local_base=UFR01 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|