# Crust: A Bounded Verifier for Rust (N)

> Research article (2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015) · cited 41× · AI/ML

**Wikidata**: [openalex:W2245053900](https://www.wikidata.org/wiki/openalex:W2245053900)  
**Source**: https://4ort.xyz/entity/crust-a-bounded-verifier-for-rust-n