Explaining Hyperproperty Violations
From MaRDI portal
Recommendations
- Runtime enforcement of hyperproperties
- scientific article; zbMATH DE number 6851935
- Monitoring hyperproperties
- Program Repair for Hyperproperties
- Constraint-based monitoring of hyperproperties
- Stack-aware hyperproperties
- A case for property-type semantics
- Towards incrementalization of holistic hyperproperties
- Synthesis from hyperproperties
- Hyperhierarchy of semantics -- a formal framework for hyperproperties verification
Cites work
- scientific article; zbMATH DE number 1982201 (Why is no real title available?)
- scientific article; zbMATH DE number 6851935 (Why is no real title available?)
- A generalization of Berger’s almost \frac{1}4-pinched manifolds theorem. I
- Algorithms for model checking HyperLTL and HyperCTL^*
- Alternating automata: unifying truth and validity checking for temporal logics
- Bounded model checking for hyperproperties
- Bounded model checking using satisfiability solving
- Causality analysis and fault ascription in component-based systems
- Causality checking for complex system models
- Causes and Explanations: A Structural-Model Approach. Part I: Causes
- Causes and Explanations: A Structural-Model Approach. Part II: Explanations
- Checking finite traces using alternating automata
- Computer Aided Verification
- DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC
- Explaining Counterexamples Using Causality
- Explaining Hyperproperty Violations
- HyperLTL Satisfiability Is Σ₁¹-Complete, HyperCTL* Satisfiability Is Σ₁²-Complete.
- Is Your Software on Dope?
- Model checking quantitative hyperproperties
- Monitoring hyperproperties
- Program Repair for Hyperproperties
- PySAT: a Python toolkit for prototyping with SAT oracles
- Runtime enforcement of hyperproperties
- Secure information flow by self-composition
- Synthesis from hyperproperties
- Team semantics for the specification and verification of hyperproperties
- The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas
- The first-order logic of hyperproperties
- Tools and Algorithms for the Construction and Analysis of Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Uppaal in a nutshell
- Verifying hyperliveness
- What causes a system to satisfy a specification?
- Whodunit? Causal Analysis for Counterexamples
Cited in
(9)- Counterfactuals modulo temporal logics
- ASQ-IT: interactive explanations for reinforcement-learning agents
- Explaining Hyperproperty Violations
- Counterfactual explanations for MITL violations
- Temporal causality in reactive systems
- Explainability requirements as hyperproperties
- scientific article; zbMATH DE number 6851935 (Why is no real title available?)
- Second-order hyperproperties
- Tracy, traces, and transducers: computable counterexamples and explanations for HyperLTL model-checking
This page was built for publication: Explaining Hyperproperty Violations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6487323)
