维基百科：
Runtime verification is a computing system analysis and execution approach
based on extracting information from a running system and using it to detect
and possibly react to observed behaviors satisfying or violating certain
properties.
竟然有这种东西
可是如果不能“证明”系统的正确性的话还叫 verification 吗
听起来比较像超复杂版本的 sanitizer
顶多就是不同程式要有不同的检查
重点大概在要怎么设 monitor 吧
算了 反正名字不是很重要 或取这个名字就是面非面的概念