Temporal hyperproperties

MaRDI QIDQ4967242zbMATH OpenFDO

Authors Bernd Finkbeiner

Publication date 3 July 2019

Full work available at URL http://bulletin.eatcs.org/index.php/beatcs/article/view/514/504

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• The first-order logic of hyperproperties
• Model checking algorithms for hyperproperties (invited paper)
• A temporal logic for asynchronous hyperproperties
• Synthesis from hyperproperties
• Model checking quantitative hyperproperties

Cited in

(31)

• Monitoring hyperproperties
• Flavors of sequential information flow
• Realizing \(\omega\)-regular hyperproperties
• Model checking algorithms for hyperproperties (invited paper)
• Whither specifications as programs
• Synthesis from hyperproperties
• Quantitative information flow as safety and liveness hyperproperties
• Towards incrementalization of holistic hyperproperties
• Unifying hyper and epistemic temporal logics
• Rewriting-based runtime verification for alternation-free HyperLTL
• The first-order logic of hyperproperties
• Team semantics for the specification and verification of hyperproperties
• Conformance relations and hyperproperties for doping detection in time and space
• Hyperhierarchy of semantics -- a formal framework for hyperproperties verification
• Quantitative information flow as safety and liveness hyperproperties
• Verifying bounded subset-closed hyperproperties
• HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
• Verifying hyperliveness
• Realizable and context-free hyperlanguages
• Probabilistic Hyperproperties of Markov Decision Processes
• Software Verification of Hyperproperties Beyond k-Safety
• On verifying timed hyperproperties
• Stack-aware hyperproperties
• Second-order hyperproperties
• Concurrent hyperproperties
• A remark on the expressivity of asynchronous TeamLTL and HyperLTL
• Asynchronous extensions of hyperLTL
• The hierarchy of hyperlogics
• Expressivity of asynchronous TeamLTL and HyperLTL
• Timed hyperproperties
• A temporal logic for asynchronous 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)