H
yper
H
oare
L
ogic
Language
Logic
Examples
ProgramHyperproperties
Expressivity