Verification of Safety Functions Implemented in Rust - a Symbolic Execution based approach.

Marcus Lindner, Nils Fitinghoff, Johan Eriksson, Per Lindgren

Browse the full INDIN paper archive.