H
yper
H
oare
L
ogic
Language
Logic
ProgramHyperproperties
Expressivity
Loops
Compositionality
SyntacticAssertions
TotalLogic
ExamplesCompositionality
PaperResults