Preprint
Aug 2026
Verifiable Checks for Business Rule Consistency
SIRNA significantly reduces the number of false positives and false negatives while offering explainability for its findings, and is generalizable to domains where business logic exists in both natural language documentation and programmatic implementation.
Joseph Tafese, Milad Hooshyar, Sam Bayless et al.
· 0 citations