Fremveksten av generativ KI i programmering krever en tilsvarende vekst i formelle metoder for å verifisere at AI-systemer oppfører seg som tiltenkt.

Kilde: https://blog.brownplt.org/2026/06/09/pick.html