Tagarchive: Security





AdaCore verbessert mit NVIDIA sicherheitskritische Firmware

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 ...