Language

Logic

ProgramHyperproperties

Expressivity

Loops

Compositionality

SyntacticAssertions

TotalLogic

ExamplesCompositionality

PaperResults