Chapter 10. Case Study

This chapter presents case studies applying RAPx to real-world Rust projects.

Chapter Outline

• 10.1 Verifying core::slice Safety (Challenge 17) — verifying safety contracts in the Rust standard library's slice module
• 10.2 Asterinas — applying RAPx to the Asterinas OS kernel