Microsoft prezentuje PDD Kit do weryfikacji kodu generowanego przez AI
Microsoft Research wprowadził PDD Kit, zestaw narzędzi służący do łączenia intencji człowieka z kodem generowanym przez agentów w ramach Proof-Driven Development. Dzięki formalnej weryfikacji w języku Verus, zestaw pozwala deweloperom matematycznie udowodnić, że kod napisany przez AI spełnia określone wymagania, wykraczając poza tradycyjne testowanie.