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