Terms for subject Software containing система верификации

Russian	English
система формальной верификации программного обеспечения	formal proof engine (Electronic Design Alex_Odeychuk)
система формальной верификации программного обеспечения	proof verification system (корпорации AdaCore Alex_Odeychuk)