Runtime verification

Runtime verification means checking if a piece of computer code (e.g. a program or algorithm) is working correctly while it is running. It is like giving a test to a student while they are taking a class. Just like it is hard to tell if a student is understanding the material just by looking at them, it is also hard to tell if a computer program is working correctly just by looking at it. So, runtime verification is like testing the computer program as it is running to make sure it is doing what it is supposed to do.