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