1. Resources
  2. Lectures
  3. Week 4
  4. Lecture: Code Verification and Theorem Prover

Lecture: Code Verification and Theorem Prover

View in browser Download

Resource created Thursday 20 June 2024, 11:58:11 AM, last modified Monday 08 July 2024, 06:16:54 PM.

file: 4.verification.pdf

Back to top

COMP6131 24T2 (Software Security Analysis) is powered by WebCMS3
CRICOS Provider No. 00098G