Synthesis from hyperproperties

We study the reactive synthesis problem for hyperproperties given as formulas of the temporal logic HyperLTL. Hyperproperties generalize trace properties, i.e., sets of traces, to sets of sets of traces. Typical examples are information-flow policies like noninterference, which stipulate that no sen...

Descripción completa

Detalles Bibliográficos
Autores principales: Finkbeiner, Bernd, Hahn, Christopher, Lukert, Philip, Stenger, Marvin, Tentrup, Leander
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Springer Berlin Heidelberg 2019
Materias:
Original Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7056710/
https://www.ncbi.nlm.nih.gov/pubmed/32189717
http://dx.doi.org/10.1007/s00236-019-00358-2

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7056710/
https://www.ncbi.nlm.nih.gov/pubmed/32189717
http://dx.doi.org/10.1007/s00236-019-00358-2

Ejemplares similares