Generic Verification using Diagrams and Log-files.

Policy Specification, Evaluation, and Visualization on the Cloud.

Diagrammatic, Sequencing, and Temporal Queries.