Seminar by Luca Aceto

SCHEDULE: 21th Nov 2017, 14:30, Room B SPEAKER: Luca Aceto (GSSI and School of Computer Science, Reykjavik University) TITLE: Theoretical Foundations for Runtime Monitoring ABSTRACT: Runtime Verification is a lightweight technique that complements other verification methods in a multi-pronged approach towards ensuring software correctness. The technique poses novel questions to software engineers: it is not […]

Continue reading