Showing 1 - 11 results of 11 for search 'C.', query time: 0.07s Refine Results
  1. 1
  2. 2
    by Yucht, Miles
    Published 2015
    .... The linked list and hashtable programs are written in Verifiable C. To verify these programs, I develop a...
    Get full text
    Princeton University Senior Theses
  3. 3
  4. 4
    by Alvarez, Mario
    Published 2014
    ... system for formal reasoning about C programs, and we distill lessons from this project that might...
    Get full text
    Princeton University Senior Theses
  5. 5
    by Myers, Andrew C.
    Published 2014
    Get full text
    Princeton University Senior Theses
  6. 6
    by MacIsaac, Sean
    Published 2014
    Get full text
    Princeton University Senior Theses
  7. 7
  8. 8
    by Ye, Katherine
    Published 2016
    ... of mbedTLS’s C implementation of HMAC-DRBG, allowing our proofs of cryptographic security properties...
    Get full text
    Princeton University Senior Theses
  9. 9
    by Grover, Anvay
    Published 2020
    ...CertiCoq is a verified-in-Coq compiler from Coq’s Gallina language throughCompCertC to assembly...
    Princeton University Senior Theses
  10. 10
    by Grover, Anvay
    Published 2020
    ...CertiCoq is a verified-in-Coq compiler from Coq’s Gallina language throughCompCertC to assembly...
    Get full text
    Princeton University Senior Theses
  11. 11
    by Grover, Anvay
    Published 2020
    ...CertiCoq is a verified-in-Coq compiler from Coq’s Gallina language throughCompCertC to assembly...
    Get full text
    Princeton University Senior Theses