software analysis and verification for safety and security