Modeling and Verification of MPI Based Distributed Software.
Igor GrudenicNikola BogunovicPublished in: PVM/MPI (2006)
Keyphrases
- modeling language
- software development
- distributed systems
- software systems
- computer networks
- distributed environment
- colored petri nets
- software tools
- computer systems
- software design
- formal methods
- source code
- parallel algorithm
- mobile agents
- fault tolerant
- computing environments
- software developers
- computing systems
- peer to peer
- computing platform
- formal verification
- open systems
- configuration management