EladGenish/RNSE-FS1-Audit-Bundle-v0.1: EladGenish/RNSE-FS1-Audit-Bundle-v0.1

Read full text
Authors: EladGenish
Cited by: 0

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