維基百科：
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 吧
算了 反正名字不是很重要 或取這個名字就是麵非麵的概念