In this blog, we discuss our efforts to apply mutation testing in the context of automated verification.