VeriSafe Agent
Runtime verification framework for Android GUI agents that checks proposed actions against logical rules derived from user instructions and developer-defined app states.
AI-assisted editorial review against a primary source. This is a catalog annotation, not an independent reproduction or endorsement.
What is this resource?
- Resource type
- Frameworks
- Environment
- android
- Topics
- safety-security, mobile-navigation, state-tracking
- Record publication date
- Not recorded
- Evidence retrieved
- 2026-10-18T10:59:55Z
- Resource ID
- github:verisafeagent/verisafeagent
What licenses are recorded?
Code, training data, weights, and documents can have different terms. A blank declaration means unknown, not unrestricted use.
- Code
- Not recorded
- Data
- Not recorded
- Document
- Not recorded
- Weights
- Not recorded
Explore related topics
Scope and limitations
The verification method requires developers to supply app-state predicates and transition hooks. The paper-to-repository relation is supported by the exact-version paper, not inferred from the repository name.
Related resources
Primary evidence and verification
Source retrieval is separate from experiment reproduction. Use the original publication or publisher page when citing claims about the resource.
- editorial primary review
Retrieved 2026-10-18T10:59:55Z. Supports: name, kind, summary, environments, topics, scope, relations.
Content fingerprint
2403ef3ec300e257dc631e3c569fc9aabaab1d3f385ac37abe1e4021aaae6e21 - editorial primary review
Retrieved 2026-10-18T13:06:20.028238+00:00. Supports: summary, relations, notes.
Content fingerprint
9b04efe4136a39e3e5f21a1d3bb8a44075f1370bdbeec6a4307783f3836f8311
Suggest a correction
Open a source-backed correction. Include this record ID and the original source. Read our editorial policy and coverage boundaries.