[姆咪] Runtime verification已回收
維基百科：
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 吧
算了 反正名字不是很重要 或取這個名字就是麵非麵的概念
--
https://i.imgur.com/lGiFkH9.png
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.198.173.41 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Marginalman/M.1653156741.A.0E2.html