Semantic diffing of formal policies with anti-unification
A new approach uses anti-unification to compute a symbolic, deterministic semantic diff of formal policies, highlighting behavior-altering changes that textual diffs miss.
Read the full story at AWS Machine Learning Blog ↗
Timeline · 1 report
- 2026-11-11 23:33 · AWS Machine Learning Blog
Semantic diffing of formal policies with anti-unification