Towards incrementalization of holistic hyperproperties

DOI10.1007/978-3-642-28641-4_18MaRDI QIDQ2894331zbMATH OpenOpenAlexFDO

Authors Dimiter Milushev, Dave Clarke

Publication date 29 June 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-28641-4_18

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Temporal hyperproperties
• Hyperhierarchy of semantics -- a formal framework for hyperproperties verification
• Monitoring hyperproperties
• Probabilistic Hyperproperties of Markov Decision Processes
• Synthesis from hyperproperties

Cited in

(2)

• Explaining Hyperproperty Violations
• scientific article; zbMATH DE number 6851935 (Why is no real title available?)

This page was built for publication: Towards incrementalization of holistic hyperproperties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2894331)