I got that. What exactly is exciting about such verification, especially despite the theoretical complexity, effort, and lack of common use? I really don't wan

I got that. What exactly is exciting about such verification, especially despite the theoretical complexity, effort, and lack of common use? I really don't want to insult anyone with these questions. I'm genuinely curious why people spend time on such things and presuppose there are good reasons. I just don't know them yet.