Where Machine Learning meets rule-based verification

This whole topic – where (and how) should ML and rule-based verification meet – has been on my mind for a while, but I still don't have good answers. I do think it deserves significant attention from researchers and practitioners. The next three chapters will discuss why I expect ML to keep growing in dynamic verification, why there will always be an unavoidable, irreducible non-ML part, and some ideas about connecting the two. Finally, the last chapter will talk about rules in ML-based systems, explainable AI and all that. If you are not into verification, just go directly there. Please take a quick look at my Dynamic verification in one picture post.