Verification of Safety Functions Implemented in Rust - a Symbolic Execution based approach | IEEE Conference Publication | IEEE Xplore