Runtime Verification là gì?

Runtime Verification (RV) là một kỹ thuật phân tích phần mềm động được sử dụng để giám sát chương trình trong quá trình thực thi nhằm đảm bảo chúng đáp ứng các thuộc tính đã chỉ định và phát hiện lỗi. Trong blockchain, RV đóng vai trò quan trọng trong việc tăng cường bảo mật và độ tin cậy của smart contract và máy ảo.