1. Resources
  2. Lectures
  3. Week 5
  4. Lecture: Code Verification Using Symbolic Execution

Lecture: Code Verification Using Symbolic Execution

View in browser Download

Resource created Thursday 27 June 2024, 05:50:16 PM, last modified Monday 15 July 2024, 02:55:57 PM.

file: 5.sse-intra.pdf

Back to top

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