Right, but let's assume we have really simple crud application in mainstream language, could be ts or python. What are current best approaches to have this semi

Right, but let's assume we have really simple crud application in mainstream language, could be ts or python. What are current best approaches to have this semi-formally verified, tools, methods, etc?