„Microsoft“ pristato „PDD Kit“ DI generuoto kodo patikrinimui
„Microsoft Research“ pristatė „PDD Kit“ – įrankių rinkinį, skirtą sujungti žmogaus ketinimus ir DI sugeneruotą kodą per „įrodymais pagrįstą kūrimą“ (Proof-Driven Development). Naudojant formalią patikrą su „Verus“ kalba, šis rinkinys leidžia kūrėjams matematiškai įrodyti, kad DI parašytas kodas atitinka nurodytus reikalavimus, žengiant toliau nei tradicinis testavimas.