Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties.
Thibault DardinierPeter MüllerPublished in: Proc. ACM Program. Lang. (2024)
Keyphrases
- modal logic
- declarative semantics
- social networks
- functional programs
- computer programs
- test cases
- programming language
- program execution
- predicate logic
- programming environment
- deductive databases
- real time
- search algorithm
- multi agent
- high level
- case study
- information systems
- artificial intelligence
- machine learning
- real world