Software Verification For A Custom Instrument Using Vectorcast And Codesonar