What is the abbreviation for Formal approaches software?

Looking for the shorthand of Formal approaches software or how to abbreviate it? We have 3 shorthands for Formal approaches software.