“Misc. stuff” posts will appear periodically. They will contain, well, miscellaneous [1] stuff – mainly links to papers and discussions which might be interesting to readers of this blog. For each, I’ll try to explain why it is relevant [2]. Hacker News and this blog My spec bugs post made it to the first page … More Misc. stuff – HN, machine learning and Jupyter
Summary: this post discusses the fact that different groups use different verification terminologies, explains why this is a problem, and suggests a common terminology page. One problem with verification is that it consists of multiple “verification tribes” or v-tribes, with different terminology and habits. There is the HW v-tribe, which I am coming from: We … More Terminology for multiple verification tribes
In a previous post I discussed verification vs. validation, and claimed that: This is a valuable distinction for a specific subsystem, but (in any complex system) this is a subsystem-relative concept, not an absolute one (as in “one man’s ceiling is another man’s floor”). I was reminded by some readers that this view (“real systems … More The soup of systems