I Thought that Lint Was a Solved Problem

All its users also have access to lots of other tools, so clearly Verissimo adds unique value to design and verification