Rust2Viper

swMATH34341MaRDI QIDQ46050FDOQ46050

Author name not available (Why is that?)

Official website: https://www.research-collection.ethz.ch/bitstream/handle/20.500.11850/155723/eth-49222-01.pdf

Cited In (5)

• RustHorn: CHC-based verification for Rust programs
• Cascade
• Crust
• GraVy
• Leveraging compiler intermediate representation for multi- and cross-language verification

This page was built for software: Rust2Viper