Academic Journal
What’s New in SPIN Versions 2.0 and 3.0 (Updated for Version 3.0, July 1997)
| العنوان: | What’s New in SPIN Versions 2.0 and 3.0 (Updated for Version 3.0, July 1997) |
|---|---|
| المؤلفون: | Gerard J. Holzmann |
| المساهمون: | The Pennsylvania State University CiteSeerX Archives |
| المصدر: | http://spinroot.com/spin/Doc/WhatsNew.pdf. |
| سنة النشر: | 1997 |
| المجموعة: | CiteSeerX |
| مصطلحات موضوعية: | All documents can be found in the Doc directory of the SPIN distribution |
| الوصف: | SPIN is a general verification tool for proving correctness properties of distributed or concurrent systems. The systems can interact through shared memory, through ren-dezvous operations, or through buffered message exchanges. The coordination problems that these interactions may create can effectively be debugged with the SPIN system. Once a correct design of the system has been obtained, a rigorous proof of its correctness can be provided. SPIN is based on the paradigm of on-the-fly model checking. The first version of SPIN |
| نوع الوثيقة: | text |
| وصف الملف: | application/pdf |
| اللغة: | English |
| Relation: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.464.3670; http://spinroot.com/spin/Doc/WhatsNew.pdf |
| الاتاحة: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.464.3670 http://spinroot.com/spin/Doc/WhatsNew.pdf |
| Rights: | Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| رقم الانضمام: | edsbas.8A36D4AB |
| قاعدة البيانات: | BASE |
| الوصف غير متاح. |