Crust

MaRDI QIDQ46052swMATHFDO

Official website https://ieeexplore.ieee.org/document/7371997

Cited in

(10)

• Leveraging compiler intermediate representation for multi- and cross-language verification
• Cyclone
• Joogie
• SMACK
• GraVy
• Rust2Viper
• RustHorn: CHC-based verification for Rust programs
• Verifying Whiley programs with Boogie
• RustBelt
• RustHorn

This page was built for software: Crust