Что такое Runtime Verification?

Runtime Verification (RV) - это метод динамического анализа программного обеспечения, используемый для мониторинга программ во время их выполнения с целью обеспечения их соответствия заданным свойствам и обнаружения ошибок. В блокчейне RV имеет решающее значение для повышения безопасности и надежности смарт-контрактов и виртуальных машин.