TLA+/PlusCal specification #401
Description
Your paper "MANA for MPI: MPI-Agnostic Network-Agnostic Transparent Checkpointing" briefly mentions a verification with TLA+/PlusCal. Can you please make the specification available? Thank you.
{{ message }}