- Modeling. How can accidental and malicious actions by users or software in disparate contexts be formalized as violations of contextually relevant norms that account for user expectations of runtime behavior of users and software?
- Discrepancy. What automated reasoning methods identify discrepancies between user expectations and software implementations in a contextually relevant manner?
- Composition. What formal representations of user expectations and software implementations support modularity and composition?