Mind the Gap: Verification Framework for Low-Level C

Citation

Winwood, S, Klein, G, Sewell, T et al 2009, 'Mind the Gap: Verification Framework for Low-Level C', International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2009), ed. S.Berghofer, T Nipkow, C. urban, MWenzel, Springer, Germany, pp. 500-515.

Year

2009

ANU Authors

Fields of Research

  • Computational Logic And Formal Languages
  • Networking And Communications

Updated:  15 April 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers