Software Verification

For one of our customers we verified the build process of an extensive client-server application written in Java.