Nieuws

AWS Kiro versnelt softwareontwikkeling door codecorrectheid te bewijzen

Amazon Web Services heeft nieuwe upgrades voor zijn AI-ontwikkeltool Kiro aangekondigd. De tool gebruikt een 'satisfiability modulo theories'-solver om logische tegenstrijdigheden in specificaties te detecteren. Daarnaast zijn Parallel Task Execution en Quick Plan toegevoegd om de ontwikkelsnelheid te verhogen.