Hyper Hoare Logic

Dardinier, T., & Müller, P. (2024). Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties. Proceedings of the ACM on Programming Languages, 1485-1509.

Type

Journal article

Intellectual base

Primary research

Year

2024

DOI

10.1145/3656437

Link

https://doi.org/10.1145/3656437

Cited by

1 citation across 1 artifact.

Domain-specific

• Hyperproperty
  • The preserved Wikipedia revision is discovery provenance only; the semantic identity is grounded in the defining and subsequent formal-methods literature.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:572e61d27dab · see in the full table