Software Verification December 1st, 2009 For one of our customers we verified the build process of an extensive client-server application written in Java.
