Formalization of Hyper Hoare Logic: A Logic to (Dis-)Prove Program Hyperproperties.

Thibault Dardinier

Published in: Arch. Formal Proofs (2023)

Keyphrases

modal logic
logic programming
logical framework
computational properties
formal logic
data sets
multi valued
operational semantics
epistemic logic
asynchronous circuits
database
neural network
artificial intelligence
case study
logic synthesis