EladGenish/RNSE-FS1-Audit-Bundle-v0.1: EladGenish/RNSE-FS1-Audit-Bundle-v0.1
Abstract
Audit-grade, black-box verification bundle for RNSE boundary legibility under FS.1 (v0.1).
Fields of Study & Subjects
Software Testing and Debugging Techniques
Formal Methods in Verification
Explainable Artificial Intelligence (XAI)
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 6 February 2026