Show simple item record

AuthorLarbi, R.M.
AuthorMohamad, J.J.
Available date2024-03-20T01:55:09Z
Publication Date2004
Publication NameProceedings - International Parallel and Distributed Processing Symposium, IPDPS 2004 (Abstracts and CD-ROM)
ResourceScopus
URIhttp://dx.doi.org/10.1109/IPDPS.2004.1303298
URIhttp://hdl.handle.net/10576/53281
AbstractDistributed 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.
Languageen
PublisherIEEE
SubjectSoftware systems
Computational modeling
Unified modeling language
Formal specifications
Distributed computing
Software engineering
Automatic logic units
Java
Computer simulation
Mathematical model
TitleVALID-2: A practical modeling, simulation and verification software for distributed systems
TypeConference Paper
Pagination3337-3344
Volume Number18
dc.accessType Abstract Only


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record