Checking of program and system configuration with Safety Verification Tool (SVT)