Projects per year
Projects
- 1 Active
Search results
-
Active
CRII: SHF: Theoretical Foundations of Verifying Function Values and Reducing Annotation Overhead in Automatic Deductive Verification
Bao, Y. (PI)
5/1/24 → 4/30/26
Project: Research project