verificatori di codice

Spin-off dell'Università di Parma, Bugseng e il suo team hanno tradotto in impresa una ricerca di oltre quindici anni su tecniche di analisi del software basate su una teoria matematica dell'approssimazione che consente di progettare e dimostrare la correttezza di complessi verificatori automatici di programmi, altrimenti impensabili.La verifica del software è un'esigenza sempre più avvertita, data la presenza sempre più pervasiva del software in dispositivi critici (ad esempio, in ambito automobilistico, avionico, elettromedicale). Pur riferendosi al mercato internazionale, Bugseng è una novità assoluta per l'Italia e assicura un livello di assistenza altamente qualificata, che i concorrenti (tutti esteri) non forniscono.