software verification and compliance