Developing a Unified Verification and Validation Activity Standard at JPL

arXiv:2609.28600 · cs.SE, cs.SY, eess.SY · Submitted 2026-09-23 · Read on arXiv

cs.SE, cs.SY, eess.SY

Submitted: 2026-09-23

Updated: 2026-09-23

Comments: 21 pages, 10 figures

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Core — 20× in this paper · explained in 2 episodes
• Jet Propulsion Laboratory — 15× in this paper
• Consistency — 12× in this paper · explained in 3 episodes
• V Activity — 12× in this paper
• Trace — 5× in this paper · explained in 2 episodes
• Verification — 3× in this paper · explained in 2 episodes
• Adaptability — 2× in this paper · explained in 1 episode
• Adaptation — 1× in this paper · explained in 1 episode
• Minimum Viable Package — 1× in this paper
• Modular Architecture — 1× in this paper · explained in 4 episodes

Related papers

• Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits
• GitSkills: A Dataset of Agent Skills on GitHub
• SABER: Benchmarking Operational Safety of LLM Coding Agents in Stateful Project Workspaces
• PackMonitor: Enabling Zero Package Hallucinations Through Decoding-Time Monitoring
• IntentCoding: Amplifying User Intent in Code Generation
• Incentives and Outcomes in Bug Bounties