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 Tuesday 20 May 2025, 10:50:31 PM, last modified Thursday 03 July 2025, 12:35:07 PM.

file: 5.sse-intra.pdf

Back to top

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