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

10 janeiro 2025, 10:30 • Nuno Miguel da Silva Sabino

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