Marcus Lindner, Nils Fitinghoff, Johan Eriksson, Per Lindgren: Verification of Safety Functions Implemented in Rust - a Symbolic Execution based approach. INDIN 2019: 432-439