Crust

swMATH34343MaRDI QIDQ46052FDOQ46052

Author name not available (Why is that?)

Cited In (3)

• Verifying Whiley programs with Boogie
• RustHorn: CHC-Based Verification for Rust Programs
• Leveraging compiler intermediate representation for multi- and cross-language verification

This page was built for software: Crust