Formal specification of the MPI-2.0 standard in TLA+.
Guodong LiMichael DelisiGanesh GopalakrishnanRobert M. KirbyPublished in: PPOPP (2008)
Keyphrases
- formal specification
- model checking
- temporal logic
- specification languages
- object oriented design
- process algebra
- specification language
- reverse engineering
- formal methods
- data abstraction
- formal specification language
- parallel implementation
- open source
- parallel algorithm
- concurrent systems
- general purpose
- cooperative
- database