engleski

Modeling and Verification of MPI Based Distributed Software

Communication between processes in a distributed environment is implemented using either shared memory or message passing paradigm. The message passing paradigm is used more often due to the lesser hardware requirements. MPI is a standardized message passing API with several independent implementations. Specification and verification of distributed systems is generally a challenging task. In this paper we present a case study of specification and verification of MPI based software using abstract state machines (ASMs).

MPI software modeling ; MPI software verification ; abstract state machines (ASMs)

nije evidentirano