formal proof engine(Electronic Design; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk)
groupware platform(сетевое программное обеспечение, предназначенное для повышения производительности труда группы специалистов, совместно работающих над проектом или с общими данными в распределённой вычислительной системе или сети Alex_Odeychuk)