Session 6: Lecture

Taint analysis; Bitblaze; Vine; TEMU

Tags:

Session 6: Lecture

Isabelle theorem prover: a crash course

Tags:

Session 6: Practical

Isabelle Theory: simple expression language with: denotational semantics; operational semantics; symbolic execution; code extraction; and correctness proofs.

Tags: