In this paper, we used a simple metric (i.e. Lines of Code)
to measure the complexity involved in software verification and software
testing. The goal is then, to argue for software verification over software
testing, and motivate a discussion of how to reduce the complexity involved
in software verification. We propose to reduce this complexity by
translating the software to a simple intermediate representation which
can be verified using an efficient verifier, such as Boogie [2]
