AI gör koden mindre säker? Det är inte nödvändigtvis fallet. Vibekodning och AI-kodning kan kombineras med formell verifiering. Detta kan hjälpa till att hitta buggar tidigare och garantera att koden gör vad den ska genom att formellt verifiera att en implementation uppfyller specifikationen.