Aarhus University logo
Department of Computer Science
Abstract:
Joint work with Mouloud Amara, Giovanni Bernardi and Adrian Francalanza.
In runtime verification (RV), a logical formula φ,…
φ
Title
Tba
Abstract
----------------
Everyone is welcome!
There will be refreshments after the lecture.
Department of Computer Science, Aarhus University is hosting a summer school in Programming Languages, Logic and Software Security.
To ensure that functional programs preserve differential privacy, a key technique involves adding noise to the result according to the…
Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
In recent years temporal verification has been increasingly applied to…
The mode of a logic program says which parts of a predicate’s arguments are inputs, and which are outputs. A program is mode-correct when information…
Page 1 of 5
