Start-up &Truth haalt groeigeld op voor softwareverificatie
De jonge onderneming &Truth werkt aan technologie om de veiligheid van software wiskundig te bewijzen. Het bedrijf heeft financiering opgehaald van investeerders om dit systeem te ontwikkelen.
De start-up &Truth wil een universele verificatiemachine bouwen waarmee de veiligheid van computerpogingen wiskundig kan worden aangetoond. Het bedrijf profileert zich als een maatschappelijke onderneming die zich richt op de betrouwbaarheid van code.
In de techsector groeit de aandacht voor methoden om de werking van complexe systemen formeel te verifiëren. Naarmate software en geavanceerde systemen groter en ingewikkelder worden, zoeken ontwikkelaars naar manieren om fouten en kwetsbaarheden al in een vroeg stadium uit te sluiten.
Deze samenvatting is gebaseerd op een origineel artikel van Unite.AI. Lees het volledige, originele bericht bij de bron.
Lees het originele artikel