ISoLA & AISoLA 2026

International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece

Session

Beyond Functional Correctness • Sunday, 25.10

Room: Room 1
TimeTopicAuthors
16:30008 – Formal Verification of the Heatseeker Technique for Detection of Code-Reuse Attacks
17:00011 – Specifying Probabilities of Probabilities: Generalized and Trace-Based PCTL
17:30012 – Formal Specification and Boundary Objects: A Two-Layered Approach to GDPR Specification