Raccolta di ricerche
#trace-comparison
Ricerca con tag trace-comparison: spiegazioni, prove, limiti e collegamenti tra paper.
1 risultati
Perché alcune violazioni di finalità richiedono di confrontare le esecuzioni degli agenti
Un’analisi formale mostra perché i controlli su una sola azione non rilevano violazioni relazionali della finalità e come il confronto tra esecuzioni possa farle emergere.