Technology offer
Strumenti per analisi statica del codice e compilatori verificati per software in settori critici
Abstract
Una PMI tedesca offre strumenti di analisi statica del codice e compilatori formalmente verificati per software C/C++. Le soluzioni individuano errori di runtime, data race, stack overflow e supportano l’analisi del tempo di esecuzione, facilitando la conformità a standard di sicurezza in settori come aerospazio, automotive, difesa, medicale ed energia. Si cercano accordi commerciali con assistenza tecnica per integrazione dei prodotti.
Innovazione, competitività e networking: la piattaforma Open Innovation offre ai suoi utenti l’opportunità di entrare in contatto con imprese e centri di ricerca in tutto il mondo per collaborare nello sviluppo di progetti e creare partenership.
Naviga fra le proposte di collaborazione promosse da Enterprise Europe Network, la rete mondiale dei centri di supporto all’innovazione, internazionalizzazione e competitività. Per definire i temi di tuo interesse e ricevere notifiche quando verranno pubblicate nuove proposte è necessaria la registrazione. E’ un servizio in collaborazione con il progetto Simpler.

