Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API.
Guodong LiRobert PalmerMichael DelisiGanesh GopalakrishnanRobert M. KirbyPublished in: Sci. Comput. Program. (2011)
Keyphrases
- formal specification
- case study
- concurrent programming
- process algebra
- concurrent programs
- specification languages
- object oriented design
- model checking
- specification language
- formal methods
- real world
- high performance computing
- reverse engineering
- open source
- general purpose
- programming language
- message passing
- concurrent systems
- source code
- parallel algorithm
- grid workflow
- knowledge representation
- knowledge management