Ravencheck: Effectively-Propositional Reasoning for Rust Conference Proceeding

Overview

CU Boulder Authors

publication date

June 15, 2026

Date in CU Experts

June 25, 2026 7:45 AM

Full Author List

Kim K; Lewchenko NV; Chang B-YE; Kaki G

author count

4

presented at event

SOAP '26: 15th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis Conference

Other Profiles

Digital Object Identifier (DOI)

https://doi.org/10.1145/3814987.3814991

Additional Document Info

start page

8

end page

14