Softer Verification - What Is It?

I started my research working on the problem of softer verification. And i was very excited about it for a while, but it is an undecidable problem. There are other important aspects of sof tor, like performance, that make a big change to my understanding. It's really fun to work with real users and have people who care about certain things. I don't know what they care about, but if i talk to them, maybe i'll find out,. Maybe one of the tools i have in my tool books will help me to give users a tool. But at the same time, working on a compiler, you just can't have bugs. Important property of the compilation is that