1. Resources
  2. Lectures
  3. Week 7
  4. Lecture: Code Verification using Symbolic Execution

Lecture: Code Verification using Symbolic Execution

View in browser Download

Resource created Friday 28 June 2024, 02:13:21 PM, last modified Sunday 30 June 2024, 12:36:32 AM.

file: 6.sse-inter.pdf

Back to top

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