TY  - RPRT
TI  - How We Built Cedar: A Verification-Guided Approach
AU  - Craig Disselkoen
AU  - Aaron Eline
AU  - Shaobo He
AU  - Kyle Headley
AU  - Michael Hicks
AU  - Kesha Hietala
AU  - John Kastner
AU  - Anwar Mamat
AU  - Matt McCutchen
AU  - Neha Rungta
AU  - Bhakti Shah
AU  - Emina Torlak
AU  - Andrew Wells
PY  - 2024
UR  - https://arxiv.org/abs/2407.01688
ID  - 2407.01688
ER  -