scientific article; zbMATH DE number 6851935
From MaRDI portal
Publication:4608665
Recommendations
- Decidability of code properties
- Decidability of code properties
- Deciding global partial-order properties
- Probabilistic Hyperproperties with Nondeterminism
- Decision procedures for flat array properties
- Synthesis from hyperproperties
- Towards incrementalization of holistic hyperproperties
- Runtime enforcement of hyperproperties
- Explaining Hyperproperty Violations
Cited in
(24)- Monitoring hyperproperties
- Bounded model checking for hyperproperties
- On the complexity of linear temporal logic with team semantics
- Realizing \(\omega\)-regular hyperproperties
- Finite-word hyperlanguages
- Synthesis from hyperproperties
- Is Your Software on Dope?
- Program Repair for Hyperproperties
- Team semantics for the specification and verification of hyperproperties
- Conformance relations and hyperproperties for doping detection in time and space
- Propositional Dynamic Logic for Hyperproperties
- Good-for-Game QPTL: An Alternating Hodges Semantics
- Realizable and context-free hyperlanguages
- Explaining Hyperproperty Violations
- Deciding hyperproperties combined with functional specifications
- The hierarchy of hyperlogics
- The complexity of second-order HyperLTL
- HyperLTL satisfiability is highly undecidable, \(\mathrm{HyperCTL}^*\) is even harder
- The complexity of HyperQPTL
- The complexity of second-order HyperLTL
- Unifying asynchronous logics for hyperproperties
- Extensions of HyperLTL for asynchronous hyperproperties
- Flavors of quantifiers in hyperlogics
- Timed hyperproperties
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4608665)
