Lab 6 (LBS). Security Verification and Bug-Finding

10 janeiro 2025, 12:00 • João Maria Henriques Madeira Pereira

Exercises on Verification of Noninterference: Trace Properties, Self-Composition and Symbolic Execution.