Crust

swMATH34343MaRDI QIDQ46052FDOQ46052

Author name not available (Why is that?)

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

Cited In (10)

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

This page was built for software: Crust