Φορτώνει......
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...
Αποθηκεύτηκε σε:
| Τόπος έκδοσης: | Acta Inform |
|---|---|
| Κύριοι συγγραφείς: | , , , , |
| Μορφή: | Artigo |
| Γλώσσα: | Inglês |
| Έκδοση: |
Springer Berlin Heidelberg
2019
|
| Θέματα: | |
| Διαθέσιμο Online: | 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 |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|