FMPPTA: Formal Methods for Parallel Programming: Theory and Applications