Lanean...
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...
Gorde:
| Argitaratua izan da: | Acta Inform |
|---|---|
| Egile Nagusiak: | , , , , |
| Formatua: | Artigo |
| Hizkuntza: | Inglês |
| Argitaratua: |
Springer Berlin Heidelberg
2019
|
| Gaiak: | |
| Sarrera elektronikoa: | 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 |
| Etiketak: |
Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|