Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties (extended version).

Thibault Dardinier Peter Müller

Published in: CoRR (2023)

Keyphrases

logic programming
classical logic
declarative semantics
recursive programs
functional programs
database
data sets
modal logic
computer programs
computational properties
website
case study
test cases
automated reasoning
probabilistic logic
derivation rules