TY  - RPRT
TI  - DesCert: Design for Certification
AU  - Natarajan Shankar
AU  - Devesh Bhatt
AU  - Michael Ernst
AU  - Minyoung Kim
AU  - Srivatsan Varadarajan
AU  - Suzanne Millstein
AU  - Jorge Navas
AU  - Jason Biatek
AU  - Huascar Sanchez
AU  - Anitha Murugesan
AU  - Hao Ren
PY  - 2022
UR  - https://arxiv.org/abs/2203.15178
ID  - 2203.15178
ER  -