VALID-2: A practical modeling, simulation and verification software for distributed systems
المؤلف | Larbi, R.M. |
المؤلف | Mohamad, J.J. |
تاريخ الإتاحة | 2024-03-20T01:55:09Z |
تاريخ النشر | 2004 |
اسم المنشور | Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2004 (Abstracts and CD-ROM) |
المصدر | Scopus |
الملخص | Distributed systems verification is one of the main issues in software engineering. It is considered as the major field of the formal specification techniques. However, many difficulties remain. In fact, the principal problem is in producing a coherent specification and providing a fully integrated semantics. Since formal methods are mathematical description models that try to give a response concerning the reliability of a system. It remains a hard way for the designers. Thus, we present, in this paper, an open environment for the integration of formal methods in the description and verification of distributed and concurrent systems. The system currently uses UML notation and provides rewriting logic, model checking, theorem proving, and simulation techniques. |
اللغة | en |
الناشر | IEEE |
الموضوع | Software systems Computational modeling Unified modeling language Formal specifications Distributed computing Software engineering Automatic logic units Java Computer simulation Mathematical model |
النوع | Conference Paper |
الصفحات | 3337-3344 |
رقم المجلد | 18 |
الملفات في هذه التسجيلة
الملفات | الحجم | الصيغة | العرض |
---|---|---|---|
لا توجد ملفات لها صلة بهذه التسجيلة. |
هذه التسجيلة تظهر في المجموعات التالية
-
علوم وهندسة الحاسب [2284 items ]