Amazon Web Services is adding a feature to its Kiro AI coding tool designed to mathematically prove that software requirements are free of contradictions and gaps before any code gets written, addressing one of the core risks of AI-assisted software development.
The feature, called Requirements Analysis, is designed to catch the kind of bugs that can often be the hardest to spot and most expensive to fix — problems that start not in the resulting code but in the initial requirements that define what the software is supposed to do.
The announcement Tuesday morning comes three months after Amazon publicly pushed back…