AdaCore verbessert mit NVIDIA sicherheitskritische Firmware

Paris/Nürnberg, 26. Februar 2019 - Die Programmiersprachen Ada und SPARK von AdaCore helfen, die Kosten für die Entwicklung und Verifizierung sicherheitskritischer Software zu reduzieren. AdaCore, ein führender Anbieter von Softwareentwicklungs- und Verifikationstools, arbeitet ab sofort mit NVIDIA bei der Nutzung der


komplette Meldung auf openPR - Aktuelle Pressemitteilungen lesen

(91133 Posts)