A

AdaCore

Arrange an introduction www.adacore.com

Company details

Type: Independent Software Vendor
Company size: Medium
Deployment: On-Premises
Industry focus: Transportation

Products

13

Analysis and Verification Tools

C
CodePeer
G
GNATcoverage
G
GNATdashboard
G
GNATstack
G
GNATtest
S
SPARK Pro

Development Environments

G
GNAT Studio
G
GNATbench

GNAT Pro

G
GNAT Pro Assurance
G
GNAT Pro Enterprise
G
GNAT Pro for Rust

Qualification and Certification

Q
QGen
T
Tool Qualification Kits

Relevant knowledge base articles

What is tail spend management in software?

Read more Article

What is shadow IT and why is it a risk?

Read more Article

What is vendor consolidation and how do you approach it?

Read more Compliance guide

NIS2: everything you need to know about the cybersecurity law and software procurement

Read more Compliance guide

DORA explained: impact on software procurement in the financial sector

Read more Article

Software audits: how do they work and how do you protect yourself?

Read more Article

Software licensing models explained: subscription, perpetual and usage-based

Getting a better deal with AdaCore?

SoftVaro negotiates the best deal on your behalf for AdaCore. Independent, transparent and within 24 hours.

Arrange an introduction View all suppliers