TrustInSoft

TrustInSoft est une start-up innovante qui propose des solutions d’analyse de logiciel reposant sur des garanties mathématiques. Les solutions de TrustInSoft sont utilisées dans une grande variété de secteurs allant de l’aéronautique jusqu’à l’IoT en passant par des secteurs comme l’automobile le ferroviaire ou le spatial. La société basée aux états unis et en europe a un chiffre d’affaire équivalent sur les deux zones géographiques.