heise Developer
91 subscribers
8.09K links
Informationen für Entwickler

Powered by @DerNewsChannel
Download Telegram
AdaCore schnappt sich Dresdner Cybersecurity-Experten
#AdaCore #Componolist #Cybersecurity #Sicherheit #Softwareentwicklung #Verifikation

AdaCore kauft Componolit․ Die 2017 gegründete IT-Sicherheits-Firma ist auf die Anwendung formaler Methoden zum Testen von Software spezialisiert․