What is the abbreviation for Formal techniques java programs?

Looking for the shorthand of Formal techniques java programs or how to abbreviate it? We have 2 shorthands for Formal techniques java programs.