Formal Verification
When Kani Exploration Stalls: Record the Boundary Before Narrowing It
Track whether reducing exploration changes the property being checked.
- Formal Verification
- Reliability
Field Notes
Field Notes
Short notes on focused questions in investigation and operations: incomplete verification, telemetry that does not explain a failure, and decisions about authority and recovery. Keep conditions and limitations explicit.
7 Articles
Formal Verification
The Gap Between Tamarin and Implementation: Recording Correspondence
Applying model results to implementation requires a separate correspondence review.
- Formal Verification
- Security
Observability
After OpenTelemetry: Can the Signals Explain a Failure?
Check whether user symptoms can be traced to relevant processing, beyond instrumentation coverage.
- Observability
- Operations
Observability
Who Notices Monitoring Failure? Observation Outside Kubernetes
Create a notification path that survives failures of the system it observes.
- Observability
- Reliability
Identity
Cloudflare Zero Trust and Entra: Assigning Policy Decisions
Separate login decisions from ongoing sessions and identify the state each product observes.
- Identity
- Security
Storage
Before Setting Object Lock Retention: Recovery Windows, Cost and Deletion
Derive retention from recovery windows and deletion constraints before storage configuration.
- Storage
- Security
AI
Letting Agents Operate SaaS: Whose Authority Commits the Action?
Manage user intent separately from the authority available to tools.
- AI
- Identity
- Security
No articles match this topic. Please choose another topic.