AdaCoreās GNAT Foundry pairs AI code generation with formal proof
eeNews Europe says the tool mathematically checks whether generated software meets its requirements, with potential uses in safety-critical systems.
TLDR
AdaCoreās GNAT Foundry combines code generation with formal proof to mathematically check whether the resulting software meets its requirements, eeNews Europe reports. The publisher says it could let engineers use AI while maintaining the rigorous verification needed in high-assurance applications.
Combined views
125
1 Source, first seen ago
