Temporal hyperproperties
From MaRDI portal
Recommendations
Cited in
(29)- Team semantics for the specification and verification of hyperproperties
- Timed hyperproperties
- HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
- A temporal logic for asynchronous hyperproperties
- Model checking algorithms for hyperproperties (invited paper)
- Verifying hyperliveness
- Software Verification of Hyperproperties Beyond k-Safety
- Hyperhierarchy of semantics -- a formal framework for hyperproperties verification
- Rewriting-based runtime verification for alternation-free HyperLTL
- Monitoring hyperproperties
- Verifying bounded subset-closed hyperproperties
- The first-order logic of hyperproperties
- Unifying hyper and epistemic temporal logics
- On verifying timed hyperproperties
- Synthesis from hyperproperties
- A remark on the expressivity of asynchronous TeamLTL and HyperLTL
- Quantitative information flow as safety and liveness hyperproperties
- Flavors of sequential information flow
- Probabilistic Hyperproperties of Markov Decision Processes
- Stack-aware hyperproperties
- Realizable and context-free hyperlanguages
- Asynchronous extensions of hyperLTL
- The hierarchy of hyperlogics
- Towards incrementalization of holistic hyperproperties
- Expressivity of asynchronous TeamLTL and HyperLTL
- Quantitative information flow as safety and liveness hyperproperties
- Realizing \(\omega\)-regular hyperproperties
- Concurrent hyperproperties
- Second-order hyperproperties
This page was built for publication: Temporal hyperproperties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4967242)
