High level requirements

The project is designed to convert validated formal traces into controlled NVMe test execution with reproducible outputs and clear operator safeguards.

• Translate validated specification traces into executable NVMe command sequences.
• Support deterministic replay with logs and captured environment details.
• Provide a simple interface with safeguards for destructive operations.
• Keep dependencies minimal so the system is easy to archive and run later.

Development process overview

• Define and refine specifications with the sponsor.
• Generate traces for target behaviors and edge cases.
• Execute on devices with logging and result packaging.
• Review results with the sponsor and iterate.