Tools for software verification