VALID-2: A practical modeling, simulation and verification software for distributed systems
Author | Larbi, R.M. |
Author | Mohamad, J.J. |
Available date | 2024-03-20T01:55:09Z |
Publication Date | 2004 |
Publication Name | Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2004 (Abstracts and CD-ROM) |
Resource | Scopus |
Abstract | 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. |
Language | en |
Publisher | IEEE |
Subject | Software systems Computational modeling Unified modeling language Formal specifications Distributed computing Software engineering Automatic logic units Java Computer simulation Mathematical model |
Type | Conference Paper |
Pagination | 3337-3344 |
Volume Number | 18 |
Files in this item
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |
This item appears in the following Collection(s)
-
Computer Science & Engineering [2284 items ]