Yeah the subtitle can be, "Formal Verification highlights the difficulty of specifications". Which wasn't a secret in the first place. But yeah, fewer bugs is

Yeah the subtitle can be, "Formal Verification highlights the difficulty of specifications". Which wasn't a secret in the first place. But yeah, fewer bugs is better than more.