Chargement en cours...
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...
Enregistré dans:
| Publié dans: | Acta Inform |
|---|---|
| Auteurs principaux: | , , , , |
| Format: | Artigo |
| Langue: | Inglês |
| Publié: |
Springer Berlin Heidelberg
2019
|
| Sujets: | |
| Accès en ligne: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7056710/ https://ncbi.nlm.nih.gov/pubmed/32189717 https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/s00236-019-00358-2 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|