4 ms·
SPARK formal verification is a big win. Ada is also simpler than C++. However, the tooling for Ada was never as good as C++ tooling.
by bb88 1y ago
SPARK formal verification is a big win. Ada is also simpler than C++.
However, the tooling for Ada was never as good as C++ tooling.
- firesteelrain 1y agoGNAT, AUnit, VectorCAST are all good. AUnit isn’t compatible with Ada 95 though